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

by Conor Mcbride
Citations:39 - 7 self

Active Bibliography

52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
1 Motivation Epigram: Practical Programming with Dependent Types – Conor Mcbride
16 Exploring the regular tree types – Peter Morris, Thorsten Altenkirch, Conor Mcbride - 2004
Dependent Types for the Real World Case for Support – unknown authors
9 Clowns to the left of me, jokers to the right (pearl): dissecting data structures – Conor Mcbride - 2008
263 Relations in Concurrency – Glynn Winskel
9 Eliminating dependent pattern matching – Healfdene Goguen, Conor Mcbride, James Mckinna - 2006
10 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
138 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003