• Corpus ID: 14977298

Normalization and Partial

  title={Normalization and Partial},
  author={EvaluationPeter Dybjer and Andrzej Filinski},
On the Denotational Semantics of Staged Execution of Open Code
This paper presents a novel denotational semantics for untyped MetaML that provides a remarkably simple treatment of two semantically problematic aspects of the language: computation involves substitution of open code values within the scope of variable-binding constructs and “cros sstage persistence”—the reification of compiled values when they are used in contexts expecting a higher-stage, symboli c value.