Sound specialization in the presence of computational effects
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 165-190
- https://doi.org/10.1007/bfb0014551
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A temporal-logic approach to binding-time analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Mechanically verifying the correctness of an offline partial evaluatorPublished by Springer Nature ,1995
- Efficient multi-level generating extensions for program specializationPublished by Springer Nature ,1995
- Back to direct styleScience of Computer Programming, 1994
- Efficient analyses for realistic off-line partial evaluationJournal of Functional Programming, 1993
- The essence of compiling with continuationsPublished by Association for Computing Machinery (ACM) ,1993
- A self-applicable partial evaluator for the lambda calculusACM Transactions on Programming Languages and Systems, 1992
- Improving binding times without explicit CPS-conversionPublished by Association for Computing Machinery (ACM) ,1992
- Automatic autoprojection of recursive equations with global variables and abstract data typesScience of Computer Programming, 1991
- For a better support of static data flowPublished by Springer Nature ,1991