Composing Monads (1993)

by Mark P. Jones , Luc Duponcheel
Citations:68 - 4 self

Documents Related by Co-Citation

456 Comprehending Monads – Philip Wadler - 1992
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
163 An abstract view of programming languages – E Moggi - 1989
1312 Monads for functional programming – Philip Wadler - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
20 Building interpreters by composing monads – G L Steele Jr - 1994
130 Representing Monads – Andrzej Filinski - 1994
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
35 Semantic Lego – David Espinosa - 1995
45 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly
196 Locally Presentable and Accessible Categories – Ad├ímek, Rosicky - 1994
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
326 Theorems for free! – Philip Wadler - 1989
234 Principal type schemes for functional programs – R Milner - 1982
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
30 Building Interpreters by Composing Monads – Guy L. Steele, Jr. - 1994