∂ for Data: Differentiating Data Structures

by Michael Abbott , Neil Ghani , Thorsten Altenkirch , Conor Mcbride
Citations:7 - 1 self

Active Bibliography

1 A Categorical Treatment of Ornaments – Pierre-évariste Dagand, Conor Mcbride
7 Derivatives of containers – Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor Mcbride - 2003
26 Wellfounded Trees and Dependent Polynomial Functors – Nicola Gambino, Martin Hyland - 2004
2 When Is a Container a Comonad? – Danel Ahman, James Chapman, Tarmo Uustalu
2 Constructive membership predicates as index – James Caldwell
40 Categories of Containers – Michael Abbott, Thorsten Altenkirch, Neil Ghani - 2003
10 Continuous functions on final coalgebras – Neil Ghani, Peter Hancock, Dirk Pattinson - 2007
6 Representing Nested Inductive Types Using W-types – Michael Abbott, Thorsten Altenkirch, Neil Ghani
4 TYPE THEORY AND HOMOTOPY – Steve Awodey
CATEGORICAL LOGIC AND PROOF THEORY EPSRC INDIVIDUAL GRANT REPORT – GR/R95975/01 – Nicola Gambino
Small Induction Recursion – Peter Hancock, Conor Mcbride, Lorenzo Malatesta, Thorsten Altenkirch
4 Generic programming with dependent types – Thorsten Altenkirch, Conor Mcbride, Peter Morris - 2006
Deciding Properties of Lists using Containers – Rawle Prince
1 Higher-Order Containers – Thorsten Altenkirch, Paul Levy, Sam Staton
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
17 A Universe of Binding and Computation – Daniel R. Licata, Robert Harper
6 Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract) – Marcelo P. Fiore
11 Types as graphs: Continuations in type logical grammar – Chris Barker, Chung-chieh Shan - 2005