Composing monads using coproducts

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

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1305 Monads for functional programming – Philip Wadler - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
455 Comprehending Monads – Philip Wadler - 1992
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
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
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
98 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
32 Category Theory – S Awodey - 2006
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
57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
91 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
234 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