Difference between revisions of "WG211/M2Moggi"
From WG 2.11
(Created page with "Category:WG211 Title:<br> Program generation by linking<br> Eugenio Moggi Abstract: In [AM04] we have introduced a monadic metalanguage with name generation and linking. I...") |
m (1 revision) |
(No difference)
| |
Latest revision as of 11:06, 12 December 2011
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.
