On Subtyping and Matching
- 25 August 2000
- book chapter
- Published by Springer Nature
- Vol. 18 (4) , 145-167
- https://doi.org/10.1007/3-540-49538-x_8
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- A semantics of object typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A PER model of polymorphism and recursive typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- PolyTOIL: A Type-Safe Polymorphic Object-Oriented LanguagePublished by Springer Nature ,2000
- An imperative object calculusPublished 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
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- PER models of subtyping, recursive types and higher-order polymorphismPublished by Association for Computing Machinery (ACM) ,1992
- Recursion over realizability structuresInformation and Computation, 1991
- A modest model of records, inheritance, and bounded quantificationInformation and Computation, 1990