Author:
Fisher Kathleen,Mitchell John C.
Publisher
Springer Berlin Heidelberg
Reference55 articles.
1. M. Abadi. Baby Modula-3 and a theory of objects. Technical Report 95, DEC Systems Research Center, 1993. To appear in J. Functional Prog.
2. R.M Amadio and L. Cardelli. Subtyping recursive types. In Proc. ACM Symp. Principles of Programming Languages, pages 104–118, 1991.
3. M. Abadi and L.Cardelli. A theory of primitive objects: untyped and first-order systems. In Proc. Theor. Aspects of Computer Software, Sendai, Japan, 1994. These proceedings.
4. N. Adams and J. Rees. Object-oriented programming in Scheme. In Proc. ACM Symp. Lisp and Functional Programming Languages, pages 277–288, July 1988.
5. G.M. Birtwistle, O.-J. Dahl, B. Myhrhaug, and K. Nygaard. Simula Begin. Studentlitteratur, Box 1717, S-222 01 Lund, Sweden; Auerbach, Philadelphia, 1973.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type system in programming languages;Journal of Computer Science and Technology;2001-05
2. Generic Wrappers;Lecture Notes in Computer Science;2000
3. Bounded Polymorphism for Extensible Objects;Lecture Notes in Computer Science;1999
4. An interpretation of extensible objects;Fundamentals of Computation Theory;1999
5. Aliasing Models for Object Migration⋆;Euro-Par’99 Parallel Processing;1999