Type Classes: An Exploration of the Design Space (1997)

by Simon Peyton Jones , Mark Jones , Erik Meijer
Venue:In Haskell Workshop
Citations:89 - 8 self

Active Bibliography

unknown title – unknown authors - 1997
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, LucĂ­lia Figueiredo, Belo Horizonte, Ouro Preto - 1999
47 First-class Polymorphism with Type Inference – Mark P. Jones
11 The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell – Einar W. Karlsen - 1997
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
96 How to Declare an Imperative – Philip Wadler - 1995
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
15 An Overview of Edison – Chris Okasaki - 2000
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
5 Type Classes With More Higher-Order Polymorphism – Matthias Neubauer, Peter Thiemann - 2002
2 Objects and Subtyping in a Functional Perspective – Martin Odersky - 1992
4 Polymorphic Equality - No Tags Required – Martin Elsman - 1989
5 Executable Axiomatic Specification Using Functional Language -- Case Study: Ontology for a Spatio-Temporal Database – Andre U. Frank, Damir Medak - 1997
General Terms Languages, theory – unknown authors
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
2 AUI: A Programming Language for Developing Plastic Interactive Software – Kevin A. Schneider, James R. Cordy - 2002
1 Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes – Andrew Douglas, Niklas Rojemo, Colin Runciman, Alan Wood - 1996
7 Hugs 1.4: The Nottingham and Yale Haskell User's System – Mark P. Jones, Nottingham Ng Rd, John C. Peterson - 1997