Difference between revisions of "WG211/M3Moggi"
From WG 2.11
(Created page with "Category:WG211 Title: Program generation by linking Speaker: Eugenio Moggi Slides: http://pub.smart-generators.org/M3Schedule/MoggiE-M3.pdf .pdf Abstract. In joint ...") |
m (1 revision) |
(No difference)
| |
Revision as of 11:06, 12 December 2011
Title: Program generation by linking
Speaker: Eugenio Moggi
Slides: [.pdf]
Abstract. In joint work with Ancona we have introduced a monadic metalanguage with name generation and linking [FMCO'04]. This presentation considers a 2-level variant of MetaML and give a translation (preserving the operational semantics) into this monadic metalanguage.
