A sound reduction semantics for untyped CBN mutlistage computation. or, the theory of metaML is non-trival (extended abstract (2000)

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