A type-directed, on-line, partial evaluator for a polymorphic language
Author:
Open Access
- 1 December 1997
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (12) , 22-35
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)1996
- Type-directed partial evaluation1996
- The essence of eta-expansion in partial evaluationHigher-Order and Symbolic Computation, 1995
- Partial evaluation in parallelHigher-Order and Symbolic Computation, 1993
- On the specialization of online program specializersJournal of Functional Programming, 1993
- Improving binding times without explicit CPS-conversionACM SIGPLAN Lisp Pointers, 1992
- An inverse of the evaluation functional for typed lambda -calculus1991
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991
- Binding time analysis for high order untyped functional languages1990
- Abstracting control1990