|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
38
|
Universes for Generic Programs and Proofs in Dependent Type Theory
– Marcin Benke, Peter Dybjer, Patrik Jansson
- 2003
|
|
68
|
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
– Thorsten Altenkirch, Bernhard Reus
- 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
|
|
63
|
Generic Haskell: practice and theory
– Ralf Hinze, Johan Jeuring
- 2003
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
39
|
A Generic Programming Extension for Haskell
– Ralf Hinze
- 1999
|
|
70
|
Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics
– Peter Dybjer
- 1991
|
|
70
|
A Lightweight Implementation of Generics and Dynamics
– James Cheney, Ralf Hinze
- 2002
|
|
113
|
Towards a practical programming language based on dependent type theory
– Ulf Norell
- 2007
|
|
301
|
Intuitionistic Type Theory
– Per Martin-Löf
- 1984
|
|
196
|
Cayenne -- a Language With Dependent Types
– Lennart Augustsson
- 1998
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
33
|
Generic Haskell, specifically
– Dave Clarke, Andres Löh
- 2002
|
|
28
|
Generic Haskell: applications
– Ralf Hinze, Johan Jeuring
- 2003
|
|
52
|
Scrap your boilerplate: a practical approach to generic programming
– Ralf Lämmel, Simon Peyton Jones
- 2003
|
|
75
|
Pattern matching with dependent types
– Thierry Coquand
- 1992
|
|
92
|
The ALF proof editor and its proof engine
– Lena Magnusson, Bengt Nordström
- 1994
|
