Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. M. Abadi and L. Cardelli. On Subtyping and Matching. In Proc. of ECOOP, volume 952 of Lecture Notes in Computer Science, pages 145–167. Springer-Verlag, 1995.
2. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
3. G. Bellè. Some Remarks on Lambda Calculus of Objects. Technical report, Dipartimento di Matematica ed Informatica, Università di Udine, 1994.
4. V. Bono and M. Bugliesi. Matching Constraints for the Lambda Calculus of Objects. In Proc. of TLCA, volume 1210 of Lecture Notes in Computer Science, pages 46–62. Springer-Verlag, 1997.
5. V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping Constraint for Incomplete Objects. In Proc. of TAPSOFT/CAAP, volume 1214 of Lecture Notes in Computer Science, pages 465–477. Springer-Verlag, 1997.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extensible Objects: A Tutorial;Global Computing. Programming Environments, Languages, Security, and Analysis of Systems;2003
2. Bounded Polymorphism for Extensible Objects;Lecture Notes in Computer Science;1999