|
9
|
Why dependent types matter
– Thorsten Altenkirch, Conor Mcbride, James Mckinna
- 2005
|
|
13
|
Exploring the regular tree types
– Peter Morris, Thorsten Altenkirch, Conor Mcbride
- 2004
|
|
25
|
Faking It: Simulating Dependent Types in Haskell
– Connor McBride
- 2001
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
36
|
Indexed Induction-Recursion
– Peter Dybjer, Anton Setzer
- 2001
|
|
2
|
Generic programming with dependent types
– Thorsten Altenkirch, Conor Mcbride, Peter Morris
- 2006
|
|
6
|
Eliminating dependent pattern matching
– Healfdene Goguen, Conor Mcbride, James Mckinna
- 2006
|
|
2
|
Simply Easy! An Implementation of a Dependently Typed Lambda Calculus
– Andres Löh, et al.
- 2007
|
|
53
|
Type-Indexed Data Types
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2004
|
|
1
|
Phase distinctions in the compilation of Epigram
– James Mckinna, Edwin Brady
- 2005
|
|
67
|
Dependency-style Generic Haskell
– Andres Löh, Dave Clarke, Johan Jeuring
- 2003
|
|
27
|
The derivative of a regular type is its type of one-hole contexts (extended abstract), 2001. Unpublished manuscript, available via http://strictlypositive.org/diff.pdf. Conor McBride and Ross Paterson. Applicative programming with effects
– Conor Mcbride
|
|
|
a submission to PLPV 2007 Observational Equality, Now!
– Thorsten Altenkirch, Conor Mcbride, Wouter Swierstra
|
|
10
|
Comparing approaches to generic programming in Haskell
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2006
|
|
|
Foundations and Applications of Higher-Dimensional Directed Type Theory
– n.n.
|
|
|
Foundations and Applications of Higher-Dimensional Directed Type Theory
– Robert Harper, Daniel R. Licata
|
|
8
|
The Gentle Art of Levitation
– James Chapman, Pierre-évariste Dagand, Conor Mcbride, Peter Morris
|
|
2
|
Towards observational type theory
– Thorsten Altenkirch, Conor Mcbride
- 2006
|
|
56
|
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory
– Peter Dybjer
- 1998
|
