|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
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
|
|
4
|
Making Implicit Parameters Explicit
– Atze Dijkstra, S. Doaitse Swierstra
- 2005
|
|
8
|
Type Inference for Overloading without Restrictions, Declarations or Annotations
– Carlos Camarao, Lucília Figueiredo, Belo Horizonte, Ouro Preto
- 1999
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
|
Constraints for Type Class Extensions
– Gerrit Van Den Geest
- 2007
|
|
54
|
The implementation of the Gofer functional programming system
– Mark P. Jones
- 1994
|
|
|
Abstract A Generic Usage Analysis with Subeffect Qualifiers
– unknown authors
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
|
A Second Look at Overloading
– Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr
- 1995
|
|
15
|
Modular Type Classes
– Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
|
|
|
Extracting Programs from . . .
– Martin Sulzmann
- 2006
|
|
46
|
First-class Polymorphism with Type Inference
– Mark P. Jones
|
|
13
|
Object-oriented style overloading for Haskell
– Mark Shields, Simon Peyton Jones
- 2001
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
22
|
A framework for extended algebraic data types
– Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
- 2006
|
|
|
A Solution to Haskell’s Multi-Parameter Type Class Dilemma
– Carlos Camarão, Rodrigo Ribeiro, Lucília Figueiredo, Cristiano Vasconcellos
|
|
|
Type Inference for Multi-Parameter Type Classes
– Martin Sulzmann, Peter J. Stuckey
|
