Finally Tagless, Partially Evaluated
- 20 November 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Embedded interpretersJournal of Functional Programming, 2005
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sumsPublished by Association for Computing Machinery (ACM) ,2004
- ML-Like Inference for ClassifiersLecture Notes in Computer Science, 2004
- Tagging, Encoding, and Jones OptimalityLecture Notes in Computer Science, 2003
- Semantic analysis of normalisation by evaluation for typed lambda calculusPublished by Association for Computing Machinery (ACM) ,2002
- Typing dynamic typingPublished by Association for Computing Machinery (ACM) ,2002
- Binding-time analysis for both static and dynamic expressionsNew Generation Computing, 2002
- A modal analysis of staged computationJournal of the ACM, 2001
- Type-directed partial evaluationPublished by Association for Computing Machinery (ACM) ,1996
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995