Integrating subtyping, matching and type quantification: A practical perspective

This publication has 21 references indexed in Scilit:

• On Subtyping and Matching
  Published by Springer Nature ,2000
• PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
  Published by Springer Nature ,2000
• A paradigmatic object-oriented programming language: Design, static typing and semantics
  Journal of Functional Programming, 1994
• Extensible Grammars for Language Specialization
  Published by Springer Nature ,1994
• Strongtalk
  Published by Association for Computing Machinery (ACM) ,1993
• Network objects
  Published by Association for Computing Machinery (ACM) ,1993
• A semantic basis for Quest
  Journal of Functional Programming, 1991
• An extension of system F with subtyping
  Published by Springer Nature ,1991
• F-bounded polymorphism for object-oriented programming
  Published by Association for Computing Machinery (ACM) ,1989
• Common Lisp Object System specification
  ACM SIGPLAN Notices, 1988