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

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
159 Generalising Monads to Arrows – John Hughes - 1998
12 Monatron: an extensible monad transformer library. Available at http://www.cs.nott.ac.uk/~mjj/pubs/monatron.pdf – Mauro Jaskelioff
1312 Monads for functional programming – Philip Wadler - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
3 Tagging monad transformer layers – D Piponi - 2010
141 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
18 Functional Pearl: The Zipper – Gérard Huet, Inria Rocquencourt France - 1997
43 Categories for the Working Mathematician. Number 5 – S Mac Lane - 1971
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
22 Hoare type theory, polymorphism and separation – A Nanevski, J G Morrisett, L Birkedal - 2008
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
82 The Design of a Pretty-printing Library – John Hughes - 1995
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
7 Asymptotic Improvement of Computations over Free Monads – Janis Voigtländer, Technische Universität Dresden - 2008
22 Foundations for structured programming with GADTs – Patricia Johann - 2008
418 Proof of correctness of data representations – C A R Hoare - 1972
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986