The Derivative of a Regular Type is its Type of One-Hole Contexts (Extended Abstract) (2001)

by Conor Mcbride
Citations:36 - 6 self

Active Bibliography

52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
16 Exploring the regular tree types – Peter Morris, Thorsten Altenkirch, Conor Mcbride - 2004
9 Clowns to the left of me, jokers to the right (pearl): dissecting data structures – Conor Mcbride - 2008
9 Eliminating dependent pattern matching – Healfdene Goguen, Conor Mcbride, James Mckinna - 2006
9 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
4 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
9 Functional pearl: I am not a number–I am a free variable – Conor Mcbride, James Mckinna
7 A few constructions on constructors – Conor Mcbride, Healfdene Goguen, James Mckinna - 2005
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
11 Programming With Types – Stephanie Claudene Weirich - 2002
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
31 Generalizing Generalized Tries – Ralf Hinze - 1999
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
14 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
General Terms – Andres Löh, José Pedro Magalhães
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
Chapter 1 Generic Programming for Domain Reasoners – Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
1 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