|
45
|
Generic programming within dependently typed programming
– Thorsten Altenkirch, Conor Mcbride
- 2003
|
|
13
|
Exploring the regular tree types
– Peter Morris, Thorsten Altenkirch, Conor Mcbride
- 2004
|
|
6
|
Eliminating dependent pattern matching
– Healfdene Goguen, Conor Mcbride, James Mckinna
- 2006
|
|
9
|
Why dependent types matter
– Thorsten Altenkirch, Conor Mcbride, James Mckinna
- 2005
|
|
2
|
Generic programming with dependent types
– Thorsten Altenkirch, Conor Mcbride, Peter Morris
- 2006
|
|
3
|
I am not a number: I am a free variable
– Conor Mcbride, James Mckinna
- 2004
|
|
5
|
A few constructions on constructors
– Conor Mcbride, Healfdene Goguen, James Mckinna
- 2005
|
|
3
|
Generic Operations on Nested Datatypes
– Ian Bayley
- 2001
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
29
|
Generalizing Generalized Tries
– Ralf Hinze
- 1999
|
|
10
|
Comparing approaches to generic programming in Haskell
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2006
|
|
13
|
Generic programming with fixed points for mutually
– Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring
- 2008
|
|
61
|
Dependently Typed Functional Programs and their Proofs
– Conor Mcbride
- 1999
|
|
|
Generic Programming for Domain Reasoners
– Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren, Www. Cs. Uu. Nl Issn, Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
- 2009
|
|
|
Chapter 1 Generic Programming for Domain Reasoners
– Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
|
|
3
|
Disciplined, Efficient, Generalised Folds for Nested Datatypes
– Clare Martin, Jeremy Gibbons, Ian Bayley
- 2002
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
|
J Autom Reasoning manuscript No. (will be inserted by the editor) Strongly Typed Term Representations in Coq
– Nick Benton, Chung-kil Hur, Andrew Kennedy, Conor Mcbride, A. J. Kennedy, C. Mcbride
|
|
14
|
Dependently Typed Data Structures
– Hongwei Xi
- 1999
|
