|
|
A Second Look at Overloading
– Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr
- 1995
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
27
|
Type Classes with Existential Types
– Konstantin Läufer
- 1995
|
|
|
Constraints for Type Class Extensions
– Gerrit Van Den Geest
- 2007
|
|
8
|
Exploring the Design Space for Type-based Implicit Parameterization
– Mark P. Jones
- 1999
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
14
|
From Hindley-Milner types to first-class structures
– Mark P. Jones
- 1995
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
30
|
Type Checking Type Classes
– Tobias Nipkow, Christian Prehofer
- 1993
|
|
77
|
Once Upon a Type
– David Turner, Philip Wadler, Christian Mossin
- 1995
|
|
15
|
Functional logic overloading
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2002
|
|
8
|
Type Inference for Overloading without Restrictions, Declarations or Annotations
– Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto
- 1999
|
|
13
|
Optimal Type Lifting
– Bratin Saha, Zhong Shao
- 1998
|
|
15
|
Modular Type Classes
– Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
|
|
19
|
The Design and Implementation of Mondrian
– Erik Meijer, Koen Claessen
- 1997
|
|
3
|
From Inheritance to Feature Interaction or Composing Monads
– Christian Prehofer
- 1997
|
|
33
|
Dictionary-free Overloading by Partial Evaluation
– Mark P. Jones
|
