Author:
Bono Viviana,Liquori Luigi
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Abadi, M., Cardelli, L., A Theory of Primitive Objects. Manuscript, 1994. Also in Proc. Theoretical Aspect of Computer Software, LNCS 789, Springer-Verlag, 1994, pp. 296–320.
2. Bellè, G., Some Remarks on Lambda Calculus of Objects. Internal Report, Dipartimento di Matematica ed Informatica, Università di Udine, 1994.
3. Bono, V., Liquori, L., A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. Full version, avalaible as ftp://pianeta.di.unito.it/pub/LAMBDA/liquori/subtyping.ps.Z, 1994.
4. Borning, A.H., Ingalls, D.H., A Type Declaration and Inference System for Smalltalk. In Proc. ACM Symp. Principles of Programming Languages, ACM Press, 1982, pp. 133–141.
5. Ellis, E., Stroustrop, B., The Annotated C ++ Reference Manual. Addison Wesley, 1990.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Typed parametric polymorphism for aspects;Science of Computer Programming;2006-12
2. Extensible Objects: A Tutorial;Global Computing. Programming Environments, Languages, Security, and Analysis of Systems;2003
3. Privacy via Subsumption;Information and Computation;2002-01
4. Matching for the lambda calculus of objects;Theoretical Computer Science;1999-02
5. A Core Calculus of Classes and Objects;Electronic Notes in Theoretical Computer Science;1999