An Overview of Edison (2000)

Cached

Download Links

by Chris Okasaki
Venue:Electronic Notes in Theoretical Computer Science
Citations:15 - 0 self

Documents Related by Co-Citation

309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
153 Type classes with functional dependencies – Mark P. Jones - 2000
1312 Monads for functional programming – Philip Wadler - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
226 Functional Data Structures – Chris Okasaki - 1996
126 Domain Specific Embedded Compilers – Daan Leijen, Erik Meijer - 1999
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
132 Qualified types: Theory and practice – M P Jones - 1992
92 The Craft of Functional Programming – Simon Thompson - 1999
64 The Haskell School of Expression - Learning Functional Programming Through Multimedia – P Hudak - 2000
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
19 Named Instances for Haskell Type Classes – Wolfram Kahl, et al.
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
9 for the Study of Language and Information – Proof Language, Logic Center - 1999
27 Sorting Morphisms – Lex Augusteijn - 1998