Composing Monads Using Coproducts (2002)

by Christoph Lüth , Neil Ghani
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
456 Comprehending Monads – Philip Wadler - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1312 Monads for functional programming – Philip Wadler - 1995
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
8 A Syntactic Approach to Modularity – P Cenciarelli, E Moggi - 1993
3 On the Call-by-Value CPS Transform and its – C Fuhrmann, H Thielecke
3 Adjunctions whose Counits are Coequalizers – G M Kelly, A J Power - 1993
10 Locally Presentable and Accessible – J Adámek, J Rosick´y - 1994
17 Comparing Control Constructs by Double-barrelled CPS – Hayo Thielecke - 2002
18 Sound and Complete Axiomatisations of Call-By-Value Control Operators – Martin Hofmann, Mart I N Hofmann - 1994
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