Exploring the regular tree types (2004)

by Peter Morris , Thorsten Altenkirch , Conor Mcbride
Venue:In Types for Proofs and Programs
Citations:21 - 4 self

Active Bibliography

12 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
10 Generic programming with dependent types – Thorsten Altenkirch, Conor Mcbride, Peter Morris - 2006
10 A few constructions on constructors – Conor Mcbride, Healfdene Goguen, James Mckinna - 2005
Dependent Types for the Real World Case for Support – unknown authors
27 The Gentle Art of Levitation – James Chapman, Pierre-évariste Dagand, Conor Mcbride, Peter Morris
Indexed Induction-Recursion – Peter Dybjer A, Anton Setzer B
63 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
50 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
13 Eliminating dependent pattern matching – Healfdene Goguen, Conor Mcbride, James Mckinna - 2006