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
1312 Monads for functional programming – Philip Wadler - 1995
456 Comprehending Monads – Philip Wadler - 1992
439 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
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
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
57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002