Foundations for partial evaluation of functional programs with computational effects
- 1 September 1998
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 30 (3es)
- https://doi.org/10.1145/289121.289134
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Type specialisation for imperative languagesPublished by Association for Computing Machinery (ACM) ,1997
- A computational formalization for partial evaluationMathematical Structures in Computer Science, 1997
- Type specialisation for the λ-calculus; or, a new paradigm for partial evaluation based on type inferenceLecture Notes in Computer Science, 1996
- Continuation-based partial evaluationPublished by Association for Computing Machinery (ACM) ,1994
- A generic account of continuation-passing stylesPublished by Association for Computing Machinery (ACM) ,1994
- The essence of functional programmingPublished by Association for Computing Machinery (ACM) ,1992
- Improving binding times without explicit CPS-conversionPublished by Association for Computing Machinery (ACM) ,1992
- Notions of computation and monadsInformation and Computation, 1991
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975