Inheritance and explicit coercion
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 298, 112-129
- https://doi.org/10.1109/lics.1989.39166
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Domain theoretic models of polymorphismInformation and Computation, 1989
- The calculus of constructionsInformation and Computation, 1988
- Type inference with subtypesPublished by Association for Computing Machinery (ACM) ,1988
- dI-domains as a model of polymorphismLecture Notes in Computer Science, 1988
- Structural subtyping and the notion of power typePublished by Association for Computing Machinery (ACM) ,1988
- Type inference in a database programming languagePublished by Association for Computing Machinery (ACM) ,1988
- An equational presentation of higher order logicPublished by Springer Nature ,1987
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- What is a model of the lambda calculus?Information and Control, 1982
- Models and computabilityLecture Notes in Mathematics, 1973