Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Aksit, M.: On the Design of the Object-Oriented Language Sina. PhD thesis, University of Twente, Enschede, The Netherlands (1989)
2. Lecture Notes in Computer Science;K. Bruce,1998
3. Chambers, C.: The Cecil Language, Specification and Rationale. Dept. of Comp.Sci. and Eng., Univ. of Washington, Seattle, Washington (1997)
4. Cook, W.R.: A Denotational Semantics of Inheritance. PhD thesis, Brown University (1989)
5. Ernst, E.: gbeta – A Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhDthesis, Devise, Department of Computer Science, University of Aarhus, Aarhus, Denmark (June 1999)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type soundness proofs with definitional interpreters;ACM SIGPLAN Notices;2017-05-11
2. Type soundness proofs with definitional interpreters;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01
3. Type soundness for dependent object types (DOT);ACM SIGPLAN Notices;2016-12-05
4. Type soundness for dependent object types (DOT);Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2016-10-19
5. The Essence of Dependent Object Types;A List of Successes That Can Change the World;2016