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:52 - 6 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
1305 Monads for functional programming – Philip Wadler - 1995
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
455 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
159 Generalising Monads to Arrows – John Hughes - 1998
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
268 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
20 Exceptional syntax – N Benton, A Kennedy
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
42 Categories for the Working Mathematician. Number 5 – Saunders Mac Lane - 1971
4 Solving stream equation systems – B Barbier - 2002
18 A Co-iterative Characterization of Synchronous Stream Functions – Paul Caspi, Marc Pouzet - 1997