Generic programming within dependently typed programming (2003)

Cached

Download Links

by Thorsten Altenkirch , Conor Mcbride
Venue:In Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl
Citations:52 - 7 self

Active Bibliography

9 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
16 Exploring the regular tree types – Peter Morris, Thorsten Altenkirch, Conor Mcbride - 2004
27 Faking It: Simulating Dependent Types in Haskell – Connor McBride - 2001
11 Programming With Types – Stephanie Claudene Weirich - 2002
44 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
4 Generic programming with dependent types – Thorsten Altenkirch, Conor Mcbride, Peter Morris - 2006
9 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
9 Clowns to the left of me, jokers to the right (pearl): dissecting data structures – Conor Mcbride - 2008
59 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
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
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
23 Observational Equality, Now! – Thorsten Altenkirch, Conor McBride, Wouter Swierstra - 2007
14 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
20 The Gentle Art of Levitation – James Chapman, Pierre-évariste Dagand, Conor Mcbride, Peter Morris
2 Towards observational type theory – Thorsten Altenkirch, Conor Mcbride - 2006