Finally Tagless, Partially Evaluated
Abstract elided by the publisher.
Related papers
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages JFP 2009
- Finally tagless observable recursion for an abstract grammar model JFP 2012
- Tagless staged interpreters for typed languages ICFP 2002
- A systematic derivation of the STG machine verified in Coq Haskell 2010
- The Spineless Tagless G-machine, naturally ICFP 1998
- Link-time optimization for power efficiency in a tagless instruction cache CGO 2011
- A Typeful and Tagless Representation for XML Documents APLAS 2003
- A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp POPL 1978