∂ for Data: Differentiating Data Structures

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