A meta-language for typed object-oriented languages
- 27 November 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 151 (2) , 297-352
- https://doi.org/10.1016/0304-3975(95)00071-4
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A Calculus for Overloaded Functions with SubtypingInformation and Computation, 1995
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- Coherence of subsumption, minimum typing and type-checking in F ≤Mathematical Structures in Computer Science, 1992
- A semantics of multiple inheritanceInformation and Computation, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975