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

234 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
12 Monatron: an extensible monad transformer library. Available at http://www.cs.nott.ac.uk/~mjj/pubs/monatron.pdf – Mauro Jaskelioff
162 Generalising Monads to Arrows – John Hughes - 1998
1312 Monads for functional programming – Philip Wadler - 1995
733 Notions of Computation and Monads – Eugenio Moggi - 1991
3 Tagging monad transformer layers – D Piponi - 2010
18 Functional Pearl: The Zipper – Gérard Huet, Inria Rocquencourt France - 1997
142 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
42 Categories for the Working Mathematician. Number 5 – Saunders Mac Lane - 1971
52 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 – Aleksandar Nanevski, J Gregory Morrisett, Lars Birkedal
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
7 Asymptotic Improvement of Computations over Free Monads – Janis Voigtländer, Technische Universität Dresden - 2008
81 The Design of a Pretty-printing Library – John Hughes - 1995
46 A novel representation of lists and its application to the function “reverse – John Hughes - 1986
415 Proof of Correctness of Data Representations – C Hoare
23 Foundations for structured programming with GADTs – Patricia Johann - 2008