Polymorphic typed defunctionalization and concretization
- 1 March 2006
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 19 (1) , 125-162
- https://doi.org/10.1007/s10990-006-8611-7
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Fun with phantom typesPublished by Bloomsbury Academic ,2003
- Modular Statically Typed MultimethodsInformation and Computation, 2002
- Defunctionalization at workPublished by Association for Computing Machinery (ACM) ,2001
- Functional unparsingJournal of Functional Programming, 1998
- Type checking higher-order polymorphic multi-methodsPublished by Association for Computing Machinery (ACM) ,1997
- Type classes in HaskellACM Transactions on Programming Languages and Systems, 1996
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- A semantics of multiple inheritanceInformation and Computation, 1988
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982