Divergence of F⩽ type checking
- 6 March 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 139 (1-2) , 131-162
- https://doi.org/10.1016/0304-3975(94)00037-j
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- An Extension of System F with SubtypingInformation and Computation, 1994
- Decidability and Confluence of βη top≤ Reduction in F≤Information and Computation, 1994
- Coherence of subsumption, minimum typing and type-checking in F ≤Mathematical Structures in Computer Science, 1992
- A semantic basis for QuestJournal of Functional Programming, 1991
- Operations on recordsMathematical Structures in Computer Science, 1991
- A modest model of records, inheritance, and bounded quantificationInformation and Computation, 1990
- Type theories and object-oriented programmimgACM Computing Surveys, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972