Author:
Bono Viviana,Bugliesi Michele,Liquori Luigi
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. M. Abadi and L. Cardelli. A Theory of Primitive Objects. In Proceedings of Theoretical Aspect of Computer Software, volume 789 of LNCS, pages 296–320. Springer-Verlag, 1994.
2. V. Bono, M. Bugliesi, and L. Liquori. A Calculus of Incomplete objects with Subtyping. In preparation.
3. V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proceedings of International Conference of Computer Science Logic, volume 933 of LNCS, 1995.
4. E. Ellis and B. Stroustrop. The Annotated C++ Reference Manual. ACM Press, 1990.
5. K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, l(l):3–37, 1994.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type inference for static compilation of JavaScript;ACM SIGPLAN Notices;2016-12-05
2. Type inference for static compilation of JavaScript;Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2016-10-19
3. A lambda calculus of objects with self-inflicted extension;ACM SIGPLAN Notices;1998-10
4. From classes to objects via subtyping;Programming Languages and Systems;1998
5. Subtyping constraints for incomplete objects;TAPSOFT '97: Theory and Practice of Software Development;1997