A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival (2000)

by Walid Taha
Venue:Pages 34–43 of: Workshop on Partial Evaluation and Semantics-Based Program Manipulation, PEPM’00