Type Classes with Existential Types (1995)

Cached

Download Links

by Konstantin Läufer
Citations:29 - 0 self

Active Bibliography

A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995
53 The implementation of the Gofer functional programming system – Mark P. Jones - 1994
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
8 Combining Type Classes And Existential Types – Konstantin Läufer - 1994
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
Class Types – Carlos Camarao, Lucília Figueiredo - 1997
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
26 Essential language support for generic programming – Jeremy Siek, Andrew Lumsdaine - 2005
1 Haskell and Principal Types – Karl-Filip Faxen - 2003
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto - 1999
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
19 Modular Type Classes – Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
Type Reconstruction for Type Classes 1 – Tobias Nipkow, Christian Prehofer, Tu München
23 Type Reconstruction for Type Classes – Tobias Nipkow, Christian Prehofer - 1995
Abstract Coherence – Mark P. Jones