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
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
163 An abstract view of programming languages – E Moggi - 1989
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
456 Comprehending Monads – Philip Wadler - 1992
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
150 The theory and practice of first-class prompts – M Felleisen - 1988
35 Semantic Lego – David Espinosa - 1995
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
86 Integrating functional and imperative programming – David K Gifford, John M Lucassen - 1986
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998