A monadic multi-stage metalanguage

DOI10.1007/3-540-36576-1_23MaRDI QIDQ4417870zbMATH OpenFDO

Authors Eugenio Moggi, Sonia Fagorzi

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200358.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• MetaML and multi-stage programming with explicit annotations
• Implicitly heterogeneous multi-stage programming
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Experiences with an object-oriented, multi-stage language
• Reasoning about multi-stage programs

Cited in

(13)

• MetaML and multi-stage programming with explicit annotations
• Incorporating quotation and evaluation into Church's type theory
• Type-specialized staged programming with process separation
• Implicitly heterogeneous multi-stage programming
• Experiences with an object-oriented, multi-stage language
• Metacomputation-based compiler architecture
• A metalanguage for programming with bound names modulo renaming
• Structuring operational semantics: simplification and computation
• A Church-style intermediate language for ML\(^{\text F}\)
• An abstract monadic semantics for value recursion
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• A metalanguage for guarded iteration
• Constructive linear-time temporal logic: proof systems and Kripke semantics

This page was built for publication: A monadic multi-stage metalanguage

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417870)