Polymorphic type assignment and CPS conversion
- 1 November 1993
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 6 (3-4) , 361-379
- https://doi.org/10.1007/bf01019463
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Explicit polymorphism and CPS conversionPublished by Association for Computing Machinery (ACM) ,1993
- Polymorphic Type Assignment and CPS ConversionPublished by Defense Technical Information Center (DTIC) ,1992
- Polymorphic type inference and assignmentPublished by Association for Computing Machinery (ACM) ,1991
- Typing first-class continuations in MLPublished by Association for Computing Machinery (ACM) ,1991
- A formulae-as-type notion of controlPublished by Association for Computing Machinery (ACM) ,1990
- A syntactic theory of sequential controlTheoretical Computer Science, 1987
- A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)Published by Association for Computing Machinery (ACM) ,1986
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975