Types, abstraction, and parametric polymorphism, part 2
- 1 January 1992
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- On the type structure of standard MLACM Transactions on Programming Languages and Systems, 1993
- Domain theoretic models of polymorphismInformation and Computation, 1989
- Categorical semantics for higher order polymorphic lambda calculusThe Journal of Symbolic Logic, 1987
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Logical relations and the typed λ-calculusInformation and Control, 1985
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Towards a theory of type structureLecture Notes in Computer Science, 1974
- Some algebraic problems in the context of functorial semantics of algebraic theoriesPublished by Springer Science and Business Media LLC ,1968
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences of the United States of America, 1963