Composing Monads (1993)

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

Active Bibliography

96 How to Declare an Imperative – Philip Wadler - 1995
31 Implicit and Explicit Parallel Programming in Haskell – Mark P. Jones, Paul Hudak - 1993
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
1st Year Transfer Dissertation – Joel Wright - 2003
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
35 Monads and Composable Continuations – Philip Wadler - 1993
2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
1 Dynamically Adaptable Software with Metacomputations in a Staged Language – Bill Harrison, Tim Sheard - 2001
A Standard Library Proposal for Haskell 1.3 - Version 3 – Alastair Reid, John Peterson - 1995
Designing the Standard Haskell Libraries – Alastair Reid and John Peterson, Alastair Reid, John Peterson - 1995
1 A Monadic Interpretation of Tactics – Andrew Martin, Jeremy Gibbons - 2002
3 Embracing Windows – Colin J. Taylor - 1996
35 Semantic Lego – David Espinosa - 1995
20 Algebra of logic programming – Silvija Seres - 1999
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999
16 Embedding prolog in haskell – Silvija Seres, Michael Spivey - 1999
18 Lightweight GUIs for Functional Programming – Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte - 1995