∂ for Data: Differentiating Data Structures

by Michael Abbott, Neil Ghani, Thorsten Altenkirch, Conor Mcbride