scientific article; zbMATH DE number 5944670

MaRDI QIDQ3090701zbMATH OpenFDO

Authors Dan Popa

Publication date 31 August 2011

zbMATH Keywords

interpretersmodular monadic semanticsexpression problem

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• A tutorial on a monadic approach for exppressions evaluation
• scientific article; zbMATH DE number 2087418
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• Towards a practical library for monadic equational reasoning in Coq
• scientific article; zbMATH DE number 1482988
• Monads, partial evaluations, and rewriting
• Synthesizing Monadic Predicates
• An equational metalogic for monadic equational systems
• An abstract monadic semantics for value recursion
• Modular rewriting semantics in practice

Cited in

(2)

• Direct modular evaluation of expressions using the monads and type classes in Haskell
• A tutorial on a monadic approach for exppressions evaluation

This page was built for publication:

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