%0 Conference Paper %1 conf/fossacs/GianantonioE13 %A Gianantonio, Pietro Di %A Edalat, Abbas %B FoSSaCS %D 2013 %E Pfenning, Frank %I Springer %K dblp %P 337-352 %T A Language for Differentiable Functions. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2013.html#GianantonioE13 %V 7794 %@ 978-3-642-37074-8

@inproceedings{conf/fossacs/GianantonioE13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Gianantonio, Pietro Di and Edalat, Abbas}, biburl = {https://www.bibsonomy.org/bibtex/2d02de39c3942d9eb339070b3af749fd3/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2013}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-642-37075-5_22}, interhash = {7649a34832066d0ae487fce746e415c5}, intrahash = {d02de39c3942d9eb339070b3af749fd3}, isbn = {978-3-642-37074-8}, keywords = {dblp}, pages = {337-352}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:28.000+0200}, title = {A Language for Differentiable Functions.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2013.html#GianantonioE13}, volume = 7794, year = 2013 }