Tag Elimination and Jones-Optimality
- 25 April 2001
- book chapter
- Published by Springer Nature
- p. 257-275
- https://doi.org/10.1007/3-540-44978-7_15
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- The Correctness of Type SpecialisationPublished by Springer Nature ,2000
- On Jones-Optimal Specialization for Strongly Typed LanguagesPublished by Springer Nature ,2000
- An Idealized MetaML: Simpler, and More ExpressivePublished by Springer Nature ,1999
- Inherited LimitsPublished by Springer Nature ,1999
- Type specializationACM Computing Surveys, 1998
- A simple solution to type specializationPublished by Springer Nature ,1998
- The Theory of Fexprs is TrivialHigher-Order and Symbolic Computation, 1998
- Multi-stage programming with explicit annotationsPublished by Association for Computing Machinery (ACM) ,1997
- On abstraction and the expressive power of programming languagesPublished by Springer Nature ,1991
- LEAP: A language with eval and polymorphismPublished by Springer Nature ,1989