Type Checking Type Classes (1993)

by Tobias Nipkow , Christian Prehofer
Venue:IN PROC. 20TH ACM SYMP. PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:31 - 3 self

Active Bibliography

23 Type Reconstruction for Type Classes – Tobias Nipkow, Christian Prehofer - 1995
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
10 ML typing, explicit polymorphism and qualified types – Mark P. Jones - 1994
A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995
Type Reconstruction for Type Classes 1 – Tobias Nipkow, Christian Prehofer, Tu München
3 Haskell-style Overloading is NP-hard – Dennis M. Volpano - 1994
33 Order-sorted polymorphism in isabelle – Tobias Nipkow, Tu München - 1993
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
15 Type Inference Verified: Algorithm W in Isabelle/HOL – Wolfgang Naraschewski, Tobias Nipkow - 1997
8 Type Inference for Overloading without Restrictions, Declarations or Annotations – Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto - 1999
29 Type Classes with Existential Types – Konstantin Läufer - 1995
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
Class Types – Carlos Camarao, Lucília Figueiredo - 1997
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
19 Compiler-directed Type Reconstruction for Polymorphic Languages – Shail Aditya - 1993
8 Combining Type Classes And Existential Types – Konstantin Läufer - 1994