A type-directed, on-line, partial evaluator for a polymorphic language
- 1 December 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (12) , 22-35
- https://doi.org/10.1145/258993.258999
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)Published by Association for Computing Machinery (ACM) ,1996
- Type-directed partial evaluationPublished by Association for Computing Machinery (ACM) ,1996
- 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 -calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991
- Binding time analysis for high order untyped functional languagesPublished by Association for Computing Machinery (ACM) ,1990
- Abstracting controlPublished by Association for Computing Machinery (ACM) ,1990