Monad Transformers as Monoid Transformers

Cached

Download Links

by Mauro Jaskelioff
Citations:2 - 0 self

Documents Related by Co-Citation

130 Representing Monads – Andrzej Filinski - 1994
34 Data types à la carte – Wouter Swierstra
55 Representing Layered Monads – Andrzej Filinski - 1999
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
5 Monads, zippers and views: virtualizing the monad stack – T Schrijvers, B C d S Oliveira - 2011
7 Programming with algebraic effects and handlers – A Bauer, M Pretnar
2 Programming and Reasoning with Algebraic Effects and Dependent Types – Edwin C. Brady
2 Lightweight monadic programming – N Swamy, N Guts, D Leijen, M Hicks - 2011
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1305 Monads for functional programming – Philip Wadler - 1995
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
53 Strongly typed heterogeneous collections – Oleg Kiselyov - 2004
163 An abstract view of programming languages – E Moggi - 1989
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
30 Building Interpreters by Composing Monads – Guy L. Steele, Jr. - 1994
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
31 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
7 Building interpreters by transforming stratified monads – David Espinosa - 1994
2 How to compose monads – G L Steele - 1993