An extended Theory of Primitive Objects: First order system
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 146-169
- https://doi.org/10.1007/bfb0053378
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Matching constraints for the Lambda Calculus of ObjectsPublished by Springer Nature ,1997
- Subtyping constraints for incomplete objectsPublished by Springer Nature ,1997
- A Theory of Primitive Objects: Untyped and First-Order SystemsInformation and Computation, 1996
- A Theory of ObjectsPublished by Springer Nature ,1996
- A Lambda Calculus of incomplete objectsPublished by Springer Nature ,1996
- A typed Lambda Calculus of ObjectsPublished by Springer Nature ,1996
- A theory of primitive objects: Second-order systemsScience of Computer Programming, 1995
- Efficient Inference of Object TypesInformation and Computation, 1995
- A delegation-based object calculus with subtypingPublished by Springer Nature ,1995
- A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objectsPublished by Springer Nature ,1995