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

by Walid Taha
Venue:In 2000 SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM’00