Representing Layered Monads (1999)

Cached

Download Links

by Andrzej Filinski
Venue:PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:55 - 2 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
130 Representing Monads – Andrzej Filinski - 1994
1312 Monads for functional programming – Philip Wadler - 1995
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
150 The theory and practice of first-class prompts – M Felleisen - 1988
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
163 An abstract view of programming languages – E Moggi - 1989
456 Comprehending Monads – Philip Wadler - 1992
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
35 Semantic Lego – David Espinosa - 1995
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995