%0 Journal Article %1 noauthororeditor %A Cruttwell, Geoff %A Gallagher, Jonathan %A MacAdam, Ben %D 2019 %K differential-programming %T Towards formalizing and extending differential programming using tangent categories %U http://www.cs.ox.ac.uk/ACT2019/preproceedings/Jonathan%20Gallagher,%20Geoff%20Cruttwell%20and%20Ben%20MacAdam.pdf

@article{noauthororeditor, added-at = {2019-07-20T04:03:53.000+0200}, author = {Cruttwell, Geoff and Gallagher, Jonathan and MacAdam, Ben}, biburl = {https://www.bibsonomy.org/bibtex/2bc112a112bcfc3c182bb60c5020686dc/kirk86}, description = {Jonathan Gallagher, Geoff Cruttwell and Ben MacAdam.pdf}, interhash = {96d737654566e21aab68875cd7e7bc4a}, intrahash = {bc112a112bcfc3c182bb60c5020686dc}, keywords = {differential-programming}, timestamp = {2019-07-20T04:05:29.000+0200}, title = {Towards formalizing and extending differential programming using tangent categories}, url = {http://www.cs.ox.ac.uk/ACT2019/preproceedings/Jonathan%20Gallagher,%20Geoff%20Cruttwell%20and%20Ben%20MacAdam.pdf}, year = 2019 }