The Marriage of Effects and Monads

The Marriage of Effects and Monads (1998)

by Philip Wadler , Peter Thiemann

Citations:

76 - 3 self

Datum	Value	Source
TITLE	Theory; F.3.2 [Logics and meanings of programs]: Semantics of Programming Languages--- Operational semantics	SVM HeaderParse 0.1
AUTHOR NAME	Philip Wadler	SVM HeaderParse 0.1
AUTHOR NAME	Peter Thiemann	SVM HeaderParse 0.1
AUTHOR AFFIL	Universitat Freiburg, Germany	SVM HeaderParse 0.2
ABSTRACT	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.	SVM HeaderParse 0.1
CITATIONS	47 found	ParsCit 1.0