The marriage of effects and monads

Philip Wadler, Peter Thiemann

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

Gifford and others proposed an effect typing discipline to delimit the scope of computational effects within a program, while Moggi and others proposed monads for much the same purpose. Here we marry effects to monads, uniting two previously separate lines of research. In particular, we show that the type, region, and effect system of Talpin and Jouvelot carries over directly to an analogous system for monads, including a type and effect reconstruction algorithm. The same technique should allow one to transpose any effect system into a corresponding monad system.
Original languageEnglish
Pages (from-to)1-32
Number of pages32
JournalACM Transactions on Computational Logic
Issue number1
Publication statusPublished - 1 Jan 2003


Dive into the research topics of 'The marriage of effects and monads'. Together they form a unique fingerprint.

Cite this