Active Bibliography

Type Reconstruction for Type Classes 1 – Tobias Nipkow, Christian Prehofer, Tu München
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
122 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
Class Types – Carlos Camarao, Lucília Figueiredo - 1997
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
53 Explaining Type Inference – Dominic Duggan, Frederick Bent - 1995
33 Order-sorted polymorphism in isabelle – Tobias Nipkow, Tu München - 1993
15 Type Inference Verified: Algorithm W in Isabelle/HOL – Wolfgang Naraschewski, Tobias Nipkow - 1997
8 Combining Type Classes And Existential Types – Konstantin Läufer - 1994
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
29 Type Classes with Existential Types – Konstantin Läufer - 1995
10 Formal Verification of Algorithm W: The Monomorphic Case – Dieter Nazareth, Tobias Nipkow - 1996
95 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
22 Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets – Roberto Di Cosmo, Delia Kesner - 1997
9 Pattern Matching as Cut Elimination – Serenella Cerrito, Delia Kesner - 1999