scientific article; zbMATH DE number 1956457

zbMATH Open1032.68844MaRDI QIDQ4417784FDOQ4417784

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

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

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

Mathematics Subject Classification ID

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

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)