|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
63
|
Associated Types with Class
– Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow
- 2005
|
|
55
|
Associated type synonyms
– G Chakravarty, M T Manuel
- 2005
|
|
13
|
A Language for Generic Programming
– Jeremy G. Siek
- 2005
|
|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
69
|
A Comparative Study of Language Support for Generic Programming
– Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
- 2003
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
63
|
Using Parameterized Signatures to Express Modular Structure
– Mark P. Jones
- 1996
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
82
|
Coherence for Qualified Types
– Mark P. Jones
- 1993
|
|
58
|
Generic Programming
– David Musser, Alexander A. Stepanov
- 1988
|
|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
232
|
The standard template library
– Alexander Stepanov, Meng Lee
- 1994
|
|
79
|
An overview of the Scala programming language
– Martin Odersky, Stéphane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, Matthias Zenger, et al.
- 2004
|
|
80
|
The Boost Graph Library: User Guide and Reference
– J G Siek
- 2002
|
|
7
|
Language requirements for large-scale generic libraries
– Jeremy Siek, Andrew Lumsdaine
- 2005
|
|
46
|
Simplifying and Improving Qualified Types
– Mark P. Jones
- 1995
|
|
16
|
Named Instances for Haskell Type Classes
– Wolfram Kahl, et al.
|
