Composing monads using coproducts

by Christoph Lüth , Neil Ghani
Venue:ACM SIGPLAN Notices
Citations:23 - 2 self

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
1312 Monads for functional programming – Philip Wadler - 1995
456 Comprehending Monads – Philip Wadler - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
45 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
32 Category theory – S Awodey - 2006
34 Data types à la carte – Wouter Swierstra
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
3 Initial algebra semantics is enough! Typed Lambda Calculi and Applications – P Johann, N Ghani - 2007