On Jones-Optimal Specialization for Strongly Typed Languages
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 129-148
- https://doi.org/10.1007/3-540-45350-4_11
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- The Correctness of Type SpecialisationPublished by Springer Nature ,2000
- Partial Evaluation of Computation Process--An Approach to a Compiler-CompilerHigher-Order and Symbolic Computation, 1999
- Type-directed partial evaluationPublished by Association for Computing Machinery (ACM) ,1996
- Type specialisation for the λ-calculus; or, a new paradigm for partial evaluation based on type inferenceLecture Notes in Computer Science, 1996
- BTA Algorithms to ensure termination of off-line partial evaluationPublished by Springer Nature ,1996
- Hand-writing program generator generatorsPublished by Springer Nature ,1994
- Constructor specializationPublished by Association for Computing Machinery (ACM) ,1993
- Global tagging optimization by type inferencePublished by Association for Computing Machinery (ACM) ,1992
- A strongly-typed self-applicable partial evaluatorPublished by Springer Nature ,1991
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991