Pietro Di Gianantonio, Abbas Edalat
A Language for Differentiable Functions
FoSSaCS, 2013.
@inproceedings{FoSSaCS-2013-GianantonioE, author = "Pietro Di Gianantonio and Abbas Edalat", booktitle = "{Proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-642-37075-5_22", isbn = "978-3-642-37074-8", pages = "337--352", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Language for Differentiable Functions}", volume = 7794, year = 2013, }