|
52
|
98 Language and Libraries
– Haskell
- 2003
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
26
|
Stretching the storage manager: weak pointers and stable names in Haskell
– Simon Peyton Jones, Simon Marlow, Conal Elliott
- 1999
|
|
11
|
Representations of First Order Function Types as Terminal Coalgebras
– Thorsten Altenkirch
- 2001
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
74
|
Flexible Type Analysis
– Karl Crary, Stephanie Weirich
- 1999
|
|
132
|
Intensional Polymorphism in Type-Erasure Semantics
– Karl Crary, Stephanie Weirich, Greg Morrisett
- 2002
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
8
|
der Woude. Category theory as coherently constructive lattice theory
– R Backhouse, M Bijsterveld, R van Geldrop, J van
- 1994
|
|
29
|
Generalizing Generalized Tries
– Ralf Hinze
- 1999
|
|
83
|
Memo functions and machine learning
– Donald Michie
- 1968
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
