Subtyping constraints for incomplete objects
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 465-477
- https://doi.org/10.1007/bfb0030619
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- On Subtyping and MatchingPublished by Springer Nature ,2000
- Matching constraints for the Lambda Calculus of ObjectsPublished by Springer Nature ,1997
- A Theory of ObjectsPublished by Springer Nature ,1996
- A Lambda Calculus of incomplete objectsPublished by Springer Nature ,1996
- A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objectsPublished by Springer Nature ,1995
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- Baby Modula-3 and a theory of objectsJournal of Functional Programming, 1994
- Operations on recordsMathematical Structures in Computer Science, 1991
- A semantics of multiple inheritanceInformation and Computation, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985