Type Systems for Programming Languages
- 1 January 1990
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 46 references indexed in Scilit:
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- Categorical semantics for higher order polymorphic lambda calculusThe Journal of Symbolic Logic, 1987
- Basic polymorphic typecheckingScience of Computer Programming, 1987
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 1984
- The Expressiveness of Simple and Second-Order Type StructuresJournal of the ACM, 1983
- Completeness, invariance and λ-definabilityThe Journal of Symbolic Logic, 1982
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950