Start of topic | Skip to actions
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.

End of topic
Skip to actions | Back to top
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r5 < r4 < r3 < r2 < r1 | More topic actions
Webs: Main | TWiki | Africa | EmbeddedSystems | Gpce | Houston | International | K12 | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211
Web Actions: home WG211 Web newtopic Create New Topic index Index searchtopic Search changes Changes notify Notifications statistics Statistics wrench Preferences
Creative Commons LicenseThis work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.