|
45
|
Generic programming within dependently typed programming
– Thorsten Altenkirch, Conor Mcbride
- 2003
|
|
9
|
Why dependent types matter
– Thorsten Altenkirch, Conor Mcbride, James Mckinna
- 2005
|
|
3
|
Generic Operations on Nested Datatypes
– Ian Bayley
- 2001
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
15
|
Functional logic overloading
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2002
|
|
61
|
Dependently Typed Functional Programs and their Proofs
– Conor Mcbride
- 1999
|
|
6
|
Eliminating dependent pattern matching
– Healfdene Goguen, Conor Mcbride, James Mckinna
- 2006
|
|
2
|
Simulating Dependent Types with Guarded Algebraic Datatypes
– Jim Apple, Wes Weimer
|
|
|
Practical type inference for
– Simon Peyton, Jones Dimitrios Vytiniotis, Stephanie C. Weirich, Mark Shields, Simon Peyton Jones, Stephanie Weirich, Mark Shields
|
|
78
|
Practical type inference for arbitrary-rank types
– Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones
- 2005
|
|
|
Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic—Lambda Calculus and Related Systems; Mechanical Theorem Proving General Terms: Theory
– Robin Adams, Zhaohui Luo
|
|
14
|
Dependently Typed Data Structures
– Hongwei Xi
- 1999
|
|
3
|
Object Languages in a Type-Theoretic Meta-Framework
– Paul Callaghan, Zhaohui Luo, Jianmin Pang
- 2001
|
|
13
|
Generic programming with fixed points for mutually
– Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring
- 2008
|
|
12
|
Comparing Libraries for Generic Programming in Haskell
– Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
- 2008
|
|
53
|
Type-Indexed Data Types
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2004
|
|
63
|
Generic Haskell: practice and theory
– Ralf Hinze, Johan Jeuring
- 2003
|
|
13
|
Exploring the regular tree types
– Peter Morris, Thorsten Altenkirch, Conor Mcbride
- 2004
|
