|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
132
|
Intensional Polymorphism in Type-Erasure Semantics
– Karl Crary, Stephanie Weirich, Greg Morrisett
- 2002
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
74
|
Flexible Type Analysis
– Karl Crary, Stephanie Weirich
- 1999
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
53
|
Type-Indexed Data Types
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2004
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
274
|
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
– Erik Meijer, Maarten Fokkinga, Ross Paterson
- 1991
|
|
11
|
A generalization of the trie data structure
– R H Connelly, F L Morris
- 1995
|
|
52
|
Scrap your boilerplate: a practical approach to generic programming
– Ralf Lämmel, Simon Peyton Jones
- 2003
|
|
196
|
Functional Data Structures
– Chris Okasaki
- 1996
|
|
68
|
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
– Thorsten Altenkirch, Bernhard Reus
- 1999
|
|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
252
|
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
– Koen Claessen, John Hughes
- 2000
|
|
69
|
A Comparative Study of Language Support for Generic Programming
– Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
- 2003
|
|
28
|
Generalised Folds for Nested Datatypes
– Richard Bird, Ross Paterson
- 1999
|
