∂ for Data: Differentiating Data Structures

by Michael Abbott , Neil Ghani , Thorsten Altenkirch , Conor Mcbride
Citations:3 - 0 self

Document Versions

∂ for Data: Differentiating Data Structures –Michael Abbott, Neil Ghani, Thorsten Altenkirch, Conor Mcbride