A Second Look at Overloading (1995)

Cached

Download Links

by Martin Odersky , Philip Wadler , Martin Wehr
Citations:41 - 6 self

Active Bibliography

A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995
29 Type Classes with Existential Types – Konstantin Läufer - 1995
55 The implementation of the Gofer functional programming system – Mark P. Jones - 1994
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
Abstract Coherence – Mark P. Jones
10 ML typing, explicit polymorphism and qualified types – Mark P. Jones - 1994
9 Exploring the Design Space for Type-based Implicit Parameterization – Mark P. Jones - 1999
Type Reconstruction for Type Classes 1 – Tobias Nipkow, Christian Prehofer, Tu München
51 Typing Haskell in Haskell – Mark P. Jones - 1999
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
153 Type classes with functional dependencies – Mark P. Jones - 2000
89 Coherence for Qualified Types – Mark P. Jones - 1993
23 Type Reconstruction for Type Classes – Tobias Nipkow, Christian Prehofer - 1995
Science and Software – Peter J. Stuckey, Nicta Victoria Laboratories
Final report on the GRASP project – Simon L. Peyton Jones, Philip Wadler, Cordelia Hall, Kevin Hammond, Will Partain, Simon Peyton Jones, Phil Wadler - 1993
Class Types – Carlos Camarao, Lucília Figueiredo - 1997
Formally Based Profiling for Higher-Order Functional Languages – Patrick Sansom And, Patrick M. Sansom, Simon L. Peyton Jones - 1997
Functional Logic Overloading – Matthias Neubauer Peter, Peter Thiemann, Universität Freiburg - 2001