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.