WG211/M2Moggi
From WG 2.11
Title:
Program generation by linking
Eugenio Moggi
Abstract: In [AM04] we have introduced a monadic metalanguage with name generation and linking. I this presentation we consider a 2-level variant of MetaML and give a translation (preserving the operational semantics) into this monadic metalanguage. The restriction to 2-level is motivated by two reasons:
- the translation of the whole MetaML is not so clear (dealing with many levels appears clumsy)
- a 2-level language allows to consider variants not compatible with multi-stage, such as having different computational effects at different levels.
