Typechecking dependent types and subtypes
Author:
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 45-57
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Abstract types have existential types1985
- Three approaches to type structure1985
- Constructions: A higher order proof system for mechanizing mathematics1985
- A kernel language for abstract data types and modulesLecture Notes in Computer Science, 1984
- An efficient interpreter for the lambda-calculusJournal of Computer and System Sciences, 1981
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- An Intuitionistic Theory of Types: Predicative Part1975
- Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types1971