Polymorphic typed defunctionalization
- 1 January 2004
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 39 (1) , 89-98
- https://doi.org/10.1145/964001.964009
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Guarded recursive datatype constructorsPublished by Association for Computing Machinery (ACM) ,2003
- Defunctionalization at workPublished by Association for Computing Machinery (ACM) ,2001
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- Functional unparsingJournal of Functional Programming, 1998
- From ML to Ada: Strongly-typed language interoperability via source translationJournal of Functional Programming, 1998
- Definitional Interpreters for Higher-Order Programming LanguagesHigher-Order and Symbolic Computation, 1998
- Definitional Interpreters RevisitedHigher-Order and Symbolic Computation, 1998
- Type-driven defunctionalizationPublished by Association for Computing Machinery (ACM) ,1997
- Typed closure conversionPublished by Association for Computing Machinery (ACM) ,1996
- The essence of compiling with continuationsPublished by Association for Computing Machinery (ACM) ,1993