Author:
Alvarez-Picallo Mario,Ong C.-H. Luke
Publisher
Springer International Publishing
Reference23 articles.
1. Alvarez-Picallo, M., Ong, C.H.L.: Change actions: models of generalised differentiation. arXiv preprint
arXiv:1902.05465
(2019)
2. Alvarez-Picallo, M., Peyton-Jones, M., Eyers-Taylor, A., Ong, C.H.L.: Fixing incremental computation. In: European Symposium on Programming. Springer (2019, in press)
3. Blute, R., Ehrhard, T., Tasson, C.: A convenient differential category. arXiv preprint
arXiv:1006.3140
(2010)
4. Blute, R.F., Cockett, J.R.B., Seely, R.A.: Cartesian differential categories. Theory Appl. Categories 22(23), 622–672 (2009)
5. Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11(4), 481–494 (1964).
https://doi.org/10.1145/321239.321249
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Jacobians and Gradients for Cartesian Differential Categories;Electronic Proceedings in Theoretical Computer Science;2022-11-03
2. Effectful program distancing;Proceedings of the ACM on Programming Languages;2022-01-12
3. Differential logical relations, part II increments and derivatives;Theoretical Computer Science;2021-12
4. Cartesian Difference Categories;Logical Methods in Computer Science;2021-09-07
5. On Generalized Metric Spaces for the Simply Typed Lambda-Calculus;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29