An Idealized MetaML: Simpler, and More Expressive
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 193-207
- https://doi.org/10.1007/3-540-49099-x_13
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A temporal-logic approach to binding-time analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An Idealized MetaML: Simpler, and More ExpressivePublished by Springer Nature ,1999
- Run-time Code Generation and Modal-MLPublished by Defense Technical Information Center (DTIC) ,1998
- Multi-stage programming with explicit annotationsPublished by Association for Computing Machinery (ACM) ,1997
- A categorical account of two-level languagesElectronic Notes in Theoretical Computer Science, 1997
- An Automatic Program Generator for Multi-Level SpecializationHigher-Order and Symbolic Computation, 1997
- A modal analysis of staged computationPublished by Association for Computing Machinery (ACM) ,1996
- Type-directed partial evaluationPublished by Association for Computing Machinery (ACM) ,1996
- Two-Level Functional LanguagesPublished by Cambridge University Press (CUP) ,1992
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991