Modular monad transformers (2009)

Cached

Download Links

by Mauro Jaskelioff
Venue:In ESOP ’09: Proceedings of the 18th European Symposium on Programming Languages and Systems
Citations:8 - 2 self

Active Bibliography

2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
3 Handlers in Action – Ohad Kammar, Sam Lindley, Nicolas Oury
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
35 Semantic Lego – David Espinosa - 1995
12 Monatron: an extensible monad transformer library. Available at http://www.cs.nott.ac.uk/~mjj/pubs/monatron.pdf – Mauro Jaskelioff
3 Towards Modular Compilers for Effects – Laurence E. Day, Graham Hutton
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
A Logical View of Effects – Sungwoo Park , Robert Harper
12 Monads for Natural Language Semantics – Chung-Chieh Shan
15 Reducibility and ⊤⊤-lifting for computation types – Sam Lindley, Ian Stark - 2005
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
96 How to Declare an Imperative – Philip Wadler - 1995
Compilation à la Carte – Laurence E. Day, Graham Hutton
Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates – J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del Rio, A. Cernuda Del Río - 2001
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
Presheaf models for the π-calculus – Ian Stark - 1997
2 Proof of the Decidability of the Uniform Word Problem for Monads Assisted by Elf – Wolfgang Gehrke - 1994