|
9
|
Why dependent types matter
– Thorsten Altenkirch, Conor Mcbride, James Mckinna
- 2005
|
|
5
|
A few constructions on constructors
– Conor Mcbride, Healfdene Goguen, James Mckinna
- 2005
|
|
2
|
Generic programming with dependent types
– Thorsten Altenkirch, Conor Mcbride, Peter Morris
- 2006
|
|
8
|
The Gentle Art of Levitation
– James Chapman, Pierre-évariste Dagand, Conor Mcbride, Peter Morris
|
|
45
|
Generic programming within dependently typed programming
– Thorsten Altenkirch, Conor Mcbride
- 2003
|
|
36
|
Indexed Induction-Recursion
– Peter Dybjer, Anton Setzer
- 2001
|
|
6
|
Eliminating dependent pattern matching
– Healfdene Goguen, Conor Mcbride, James Mckinna
- 2006
|
|
13
|
Generic programming with fixed points for mutually
– Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring
- 2008
|
|
10
|
Comparing approaches to generic programming in Haskell
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2006
|
|
3
|
I am not a number: I am a free variable
– Conor Mcbride, James Mckinna
- 2004
|
|
|
A Generic Formal Metatheory Framework for First-Order Representations
– Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
|
|
28
|
Generic Haskell: applications
– Ralf Hinze, Johan Jeuring
- 2003
|
|
12
|
Comparing Libraries for Generic Programming in Haskell
– Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
- 2008
|
|
|
Irrelevance, Polymorphism, and Erasure in Type Theory
– Richard Nathan Mishra-Linger
- 2008
|
|
2
|
Simply Easy! An Implementation of a Dependently Typed Lambda Calculus
– Andres Löh, et al.
- 2007
|
|
|
a submission to PLPV 2007 Observational Equality, Now!
– Thorsten Altenkirch, Conor Mcbride, Wouter Swierstra
|
|
61
|
Dependently Typed Functional Programs and their Proofs
– Conor Mcbride
- 1999
|
|
38
|
Universes for Generic Programs and Proofs in Dependent Type Theory
– Marcin Benke, Peter Dybjer, Patrik Jansson
- 2003
|
|
22
|
Coercive Subtyping in Type Theory
– Zhaohui Luo
- 1996
|
