A theory of primitive objects-Reference-Cited by-同舟云学术

A theory of primitive objects

Published:1994 Issue: Volume: Page:296-320
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abadi Martín,Cardelli Luca

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57887-0_101

Reference19 articles.

1. [Abadi 1994] M. Abadi, Baby Modula-3 and a theory of objects. Journal of Functional Programming (to appear).

2. [Abadi, Cardelli 1994] M. Abadi and L. Cardelli. A theory of primitive objects: second-order systems. Proc. ESOP'94 — European Symposium on Programming. Springer-Verlag.

3. [Abadi, Cardelli 199X] M. Abadi and L. Cardelli, A theory of primitive objects. To appear.

4. [Abadi, et al. 1991] M. Abadi, L. Cardelli, B. Pierce, and G.D. Plotkin, Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems 13(2), 237–268.

5. [Amadio, Cardelli 1991] R.M. Amadio and L. Cardelli. Subtyping recursive types. Proc. 18th Annual ACM Symposium on Principles of Programming Languages.

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantic Subtyping for Objects and Classes;The Computer Journal;2016-12-05

2. Copatterns;ACM SIGPLAN Notices;2013-01-23

3. Semantic Subtyping for Objects and Classes;Formal Techniques for Distributed Systems;2013

4. An Object Calculus with Remote Method Invocation;Proceedings in Information and Communications Technology;2013

5. Modifiable Continuation in Object Calculus;Proceedings in Information and Communications Technology;2012