|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
196
|
Functional Data Structures
– Chris Okasaki
- 1996
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
45
|
Parametric overloading in polymorphic programming languages
– S Kaes
- 1988
|
|
40
|
A Second Look at Overloading
– Martin Odersky, Philip Wadler, Martin Wehr
- 1995
|
|
2
|
Edison User’s Guide
– C Okasaki
- 1999
|
|
15
|
Parametric Type Classes (Extended Abstract)
– Kung Chen, Paul Hudak, Martin Odersky
- 1992
|
|
46
|
Simplifying and Improving Qualified Types
– Mark P. Jones
- 1995
|
|
15
|
An approach to overloading with polymorphism
– S M Blott
- 1991
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
384
|
Theory of Relational Databases
– D Maier
- 1983
|
|
81
|
Dependency structures of data base relationships, Information Processing 74
– W W Armstrong
- 1974
|
|
232
|
The standard template library
– Alexander Stepanov, Meng Lee
- 1994
|
|
3
|
P Hudak & M Odersky [June 1992], "Parametric type classes
– K Chen
|
|
2
|
Jan 1995a], "A system of constructor classes: overloading and implicit higher-order polymorphism
– MP Jones
|
|
2
|
June 1995b], "Simplifying and improving qualified types
– MP Jones
|
|
2
|
Nov 1994], Qualified types: theory and practice
– MP Jones
|
|
2
|
SL Peyton Jones [Dec 1995], "State in Haskell
– J Launchbury
|
