|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
196
|
Cayenne -- a Language With Dependent Types
– Lennart Augustsson
- 1998
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
13
|
A Functional Notation for Functional Dependencies
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2001
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
71
|
The zipper
– Gérard Huet, Inria Rocquencourt France
- 1997
|
|
135
|
Template Meta-programming for Haskell
– Tim Sheard, Simon Peyton Jones
- 2002
|
|
40
|
Functional Unparsing
– Olivier Danvy, Olivier Danvy
- 1998
|
|
3
|
Programming with type classes. Presentation at WG2.1#55
– Roland Backhouse, Jeremy Gibbons
- 2001
|
|
3
|
An overview of Edison. Haskell Workshop
– Chris Okasaki
- 2000
|
|
29
|
der Woude. Relational catamorphisms
– R Backhouse, P de Bruin, G Malcolm, T Voermans, J van
- 1991
|
|
31
|
The Generic HASKELL User's Guide
– Dave Clarke, Dæv Clarke, Ralf Hinze, Johan Jeuring, Jan de Wit, Andres Löh, What Is Generic H A
- 2001
|
|
27
|
der Woude. Polynomial relators
– R C Backhouse, P de Bruin, P Hoogendijk, G Malcolm, T S Voermans, J van
- 1992
|
|
46
|
Modern C++ Design
– A Alexandrescu
- 2001
|
|
23
|
Polytypic Data Conversion Programs
– Patrik Jansson, Johan Jeuring
- 2001
|
|
4648
|
Design Patterns: Elements of Reusable Object-Oriented Software
– Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
- 1994
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2002
|
|
81
|
Type inference with constrained types. Theory and Practice of Object Systems
– M Odersky, M Sulzmann, M Wehr
- 1999
|
