scientific article; zbMATH DE number 5944670

zbMATH Open1240.68128MaRDI QIDQ3090701FDOQ3090701

Authors: Dan Popa 

Publication date: 31 August 2011

Title of this publication is not available (Why is that?)

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

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)

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)