Combining effects: sum and tensor

by Martin Hyland , Gordon Plotkin , John Power
Citations:29 - 4 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
1312 Monads for functional programming – Philip Wadler - 1995
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
456 Comprehending Monads – Philip Wadler - 1992
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
29 Call-by-Push-Value. A Functional/Imperative Synthesis – P B Levy - 2004
45 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly
93 Introduction to extensive and distributive categories – A Carboni, S Lack, R Walters - 1993
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
24 A Syntactic Approach to Modularity in Denotational Semantics – Pietro Cenciarelli, Eugenio Moggi - 1993
31 Possible world semantics for general storage in call-by-value – P B Levy - 2002
35 TRIPLES, ALGEBRAS AND COHOMOLOGY – Jonathan Mock Beck - 2003
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002