Active Bibliography

47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
8 Modular monad transformers – Mauro Jaskelioff - 2009
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
A Logical View of Effects – Sungwoo Park , Robert Harper
3 Handlers in Action – Ohad Kammar, Sam Lindley, Nicolas Oury
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
12 Monads for Natural Language Semantics – Chung-Chieh Shan
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
35 Semantic Lego – David Espinosa - 1995
11 Taming Effects with Monadic Typing – Richard B. Kieburtz - 1999
Presheaf models for the π-calculus – Ian Stark - 1997
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
Effectful progamming Type inference for effects with natural subtyping (Draft, submitted to APLAS’10) – Ross Tate, Daan Leijen
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze