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

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