scientific article; zbMATH DE number 1956457

MaRDI QIDQ4417784zbMATH OpenFDO

Authors Olivier Danvy

Publication date 30 July 2003

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of compilers and interpreters (68N20)

Recommendations

• Transforming functional logic programs into monadic functional programs
• Monad transformers as monoid transformers
• Natural transformations as rewrite rules and monad composition
• On the kernel of a monadic transformation
• Monadic Translation of Intuitionistic Sequent Calculus
• Monadic translation of classical sequent calculus
• Formal verification of monad transformers
• Model Transformations in Decidability Proofs for Monadic Theories
• Publication:4945235
• Eilenberg-Moore monoids and backtracking monad transformers

Cited in

(3)

• Monadic Translation of Intuitionistic Sequent Calculus
• Evaluation strategies for monadic computations
• CPS transformation of beta-redexes

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 Q4417784)