Monads and Effects (2000)

Cached

Download Links

by Nick Benton , John Hughes , Eugenio Moggi
Venue:IN INTERNATIONAL SUMMER SCHOOL ON APPLIED SEMANTICS APPSEM’2000
Citations:47 - 6 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
1312 Monads for functional programming – Philip Wadler - 1995
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
159 Generalising Monads to Arrows – John Hughes - 1998
456 Comprehending Monads – Philip Wadler - 1992
55 Representing Layered Monads – Andrzej Filinski - 1999
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
130 Representing Monads – Andrzej Filinski - 1994
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
4 Solving stream equation systems – B Barbier - 2002
18 A Co-iterative Characterization of Synchronous Stream Functions – Paul Caspi, Marc Pouzet - 1997
27 Computational Comonads and Intensional Semantics – Stephen Brookes, Shai Geva - 1991
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
58 Synchronous Kahn Networks – Paul Caspi, Marc Pouzet - 1996
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
20 Exceptional syntax – N Benton, A Kennedy