Monads for Incremental Computing - Functional Pearl (2002)

Cached

Download Links

by Magnus Carlsson

Active Bibliography

3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
8 ML modules and Haskell type classes: A constructive comparison – Stefan Wehr, Manuel M. T. Chakravarty
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Programming Systems – Andreas Rossberg, Martin Sulzmann
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
96 How to Declare an Imperative – Philip Wadler - 1995
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
5 The Open Calculus of Constructions: An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving – Mark-Oliver Stehr
14 A Functional Notation for Functional Dependencies – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2001
General Terms Languages, theory – unknown authors
76 A Comparative Study of Language Support for Generic Programming РRonald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock - 2003
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
A Logical View of Effects – Sungwoo Park , Robert Harper
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
3 MRI: Modular reasoning about interference in incremental programming – Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook - 2012
Interpretational Overhead in system software – Boris Feigin - 2011