A lambda calculus of objects and method specialization
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Operations on recordsMathematical Structures in Computer Science, 1991
- Toward a typed foundation for method specialization and inheritancePublished by Association for Computing Machinery (ACM) ,1990
- Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming languagePublished by Association for Computing Machinery (ACM) ,1989
- A Proposal for Making Eiffel Type-safeThe Computer Journal, 1989
- The Modula--3 type systemPublished by Association for Computing Machinery (ACM) ,1989
- Object-oriented programming in schemePublished by Association for Computing Machinery (ACM) ,1988
- Self: The power of simplicityPublished by Association for Computing Machinery (ACM) ,1987