∂ for Data: Differentiating Data Structures

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

Documents Related by Co-Citation

27 Computational Comonads and Intensional Semantics – Stephen Brookes, Shai Geva - 1991
93 The zipper – Gérard Huet, Inria Rocquencourt France - 1997
58 Synchronous Kahn Networks – Paul Caspi, Marc Pouzet - 1996
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
54 Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) – Leonidas Fegaras, Tim Sheard - 1996
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
18 Constructing Universes for Generic Programming – P Morris - 2007
2 Polynomial functors and polynomial monads – Nicola Gambino, Joachim Kock - 2009
40 Categories of Containers – Michael Abbott, Thorsten Altenkirch, Neil Ghani - 2003
61 Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics – M Abott, T Altenkirch, N Ghani
38 Wellfounded Trees in Categories – Ieke Moerdijk, Erik Palmgren, Ieke Moerdijk (utrecht - 1999
26 Wellfounded Trees and Dependent Polynomial Functors – Nicola Gambino, Martin Hyland - 2004
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
1 UU AG system user manual. 2003. [CM79 – A Baars, S D Swierstra, A Löh
17 Aspect-Oriented Compilers – Oege De Moor, Simon Peyton Jones, Eric Van Wyk - 1999
27 Upwards and downwards accumulations on trees – J Gibbons - 1993
2 UU AG system user manual – A Baars, S D Swierstra, A Löh - 2003
74 the dataflow programming language – LUCID - 1985