Author:
Abadi Martín,Cardelli Luca
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abadi, M., Baby Modula-3 and a theory of objects. Journal of Functional Programming 4(2), 249–283. 1994.
2. Abadi, M. and L. Cardelli, A semantics of object types. Proc. IEEE Symposium on Logic in Computer Science, 332–341. 1994.
3. Abadi, M. and L. Cardelli, A theory of primitive objects: second-order systems. Proc. ESOP'94 — European Symposium on Programming. Springer-Verlag. 1994.
4. Abadi, M. and L. Cardelli, A theory of primitive objects: untyped and first-order systems. Proc. Theoretical Aspects of Computer Software. Springer-Verlag. 1994.
5. Abadi, M. and L. Cardelli, An imperative object calculus: basic typing and soundness. Proc. Second ACM SIGPLAN Workshop on State in Programming Languages, 19–32. Technical Report UIUCDCS-R-95-1900, University of Illinois at Urbana Champaign. 1995.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献