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.
|Title of host publication||Proceedings of the third ACM SIGPLAN international conference on Functional programming|
|Place of Publication||New York, NY, USA|
|Number of pages||12|
|Publication status||Published - 1998|