Taha, Walid "A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial"

(2000)

[Proceedings] (2000) Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00), Boston, January, 2000.  

Languages mentioned