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
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
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
269 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
520 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
96 and Oege de Moor. Algebra of Programming – Richard Bird - 1997
43 Categories for the Working Mathematician. Number 5 – S Mac Lane - 1971
4 Solving stream equation systems – B Barbier - 2002