The marriage of effects and monads

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 systems into a corresponding monad system.
Original languageEnglish
Title of host publicationProceedings of the third ACM SIGPLAN international conference on Functional programming
Place of PublicationNew York, NY, USA
Number of pages12
ISBN (Print)1-58113-024-4
Publication statusPublished - 1998


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

Cite this