The Marriage of Effects and Monads (1998)

by Philip Wadler , Peter Thiemann
Citations:105 - 5 self

Active Bibliography

Categories and Subject Descriptors: D.3.1 [Programming Languages]: Formal Definitions and Theory; F.3.2 [Logics and meanings of programs]: Semantics of Programming Languages— Operational semantics – Philip Wadler, Peter Thiemann, Universität Freiburg
54 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
103 How to Declare an Imperative – Philip Wadler - 1995
1353 Monads for functional programming – Philip Wadler - 1995
467 Comprehending Monads – Philip Wadler - 1992
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
384 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
766 Notions of Computation and Monads – Eugenio Moggi - 1991
A Logical View of Effects – Sungwoo Park , Robert Harper