Matching constraints for the Lambda Calculus of Objects
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- On Subtyping and MatchingPublished by Springer Nature ,2000
- A Theory of Primitive Objects: Untyped and First-Order SystemsInformation and Computation, 1996
- A delegation-based object calculus with subtypingPublished by Springer Nature ,1995
- An imperative object calculusPublished by Springer Nature ,1995
- 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
- A framework for defining logicsJournal of the ACM, 1993
- 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