Exploring the regular tree types (2004)

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

Documents Related by Co-Citation

151 The view from the left – Conor McBride, James McKinna
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
44 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
61 Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics – M Abott, T Altenkirch, N Ghani
260 Programming in Martin-Löf’s Type Theory. An Introduction – B Nordström, K Petersson, J M Smith - 1990
42 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
9 Constructing strictly positive families – Peter Morris, Thorsten Altenkirch - 2007
44 Epigram: Practical programming with dependent types – C McBride - 2004
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
36 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
65 Inductive Families – Peter Dybjer - 1997
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
9 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
169 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
6 Indexed containers. Manuscript, available online – Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor McBride, Peter Morris - 2006
13 Why dependent types matter. Manuscript, available online – T Altenkirch, C McBride, J McKinna - 2005