Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}