paper.bib

@article{cathcartburn2018hochc,
  author    = {Toby {Cathcart Burn} and
               C.{-}H. Luke Ong and
               Steven J. Ramsay},
  title     = {Higher-order constrained horn clauses for verification},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {11:1--11:28},
  year      = {2018},
  url       = {http://doi.acm.org/10.1145/3158099},
  doi       = {10.1145/3158099},
  timestamp = {Fri, 05 Jan 2018 12:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/BurnOR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@book{adamek2004abstract,
  title={Abstract and concrete categories. The joy of cats},
  author={Ad{\'a}mek, Ji{\v{r}}{\'\i} and Herrlich, Horst and Strecker, George E},
  year={2004},
  publisher={Citeseer}
}

@article{bancilhon1985note,
  title={A note on the performance of Rule Based Systems},
  author={Bancilhon, F},
  journal={MCC Technical Report DB-022-85},
  year={1985}
}

@book{bancilhon1986amateur,
  title={An amateur's introduction to recursive query processing strategies},
  author={Bancilhon, Francois and Ramakrishnan, Raghu},
  volume={15},
  number={2},
  year={1986},
  publisher={ACM}
}

@incollection{bancilhon1986naive,
  title={Naive evaluation of recursively defined relations},
  author={Bancilhon, Francois},
  booktitle={On Knowledge Base Management Systems},
  pages={165--178},
  year={1986},
  publisher={Springer}
}

@article{qian1991incremental,
  title={Incremental recomputation of active relational expressions},
  author={Qian, Xiaolei and Wiederhold, Gio},
  journal={Knowledge and Data Engineering, IEEE Transactions on},
  volume={3},
  number={3},
  pages={337--341},
  year={1991},
  publisher={IEEE}
}

@article{griffin1997improved,
  title={An improved algorithm for the incremental recomputation of active relational expressions},
  author={Griffin, Timothy and Libkin, Leonid and Trickey, Howard},
  journal={IEEE Transactions on Knowledge \& Data Engineering},
  number={3},
  pages={508--511},
  year={1997},
  publisher={IEEE}
}

@article{gupta1993maintaining,
  title={Maintaining views incrementally},
  author={Gupta, Ashish and Mumick, Inderpal Singh and Subrahmanian, Venkatramanan Siva},
  journal={ACM SIGMOD Record},
  volume={22},
  number={2},
  pages={157--166},
  year={1993},
  publisher={ACM}
}

@article{gupta1995maintenance,
  title={Maintenance of materialized views: Problems, techniques, and applications},
  author={Gupta, Ashish and Mumick, Inderpal Singh and others},
  journal={IEEE Data Eng. Bull.},
  volume={18},
  number={2},
  pages={3--18},
  year={1995}
}

@inproceedings{harrison1992maintenance,
  title={Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach.},
  author={Harrison, John V and Dietrich, Suzanne W},
  booktitle={Workshop on Deductive Databases, JICSLP},
  pages={56--65},
  year={1992}
}

@article{dong2000incremental,
  title={Incremental maintenance of recursive views using relational calculus/SQL},
  author={Dong, Guozhu and Su, Jianwen},
  journal={ACM SIGMOD Record},
  volume={29},
  number={1},
  pages={44--51},
  year={2000},
  publisher={ACM}
}

@inproceedings{urpi1992method,
  title={A method for change computation in deductive databases},
  author={Urpi, Toni and Olive, Antoni},
  booktitle={VLDB},
  volume={92},
  pages={225--237},
  year={1992}
}

@article{kuchenhoff1991efficient,
  title={On the efficient computation of the difference between consecutive database states},
  author={K{\"u}chenhoff, Volker},
  journal={Deductive and Object-Oriented Databases},
  pages={478--502},
  year={1991},
  publisher={Springer}
}

@inproceedings{cai2014changes,
  title={A theory of changes for higher-order languages: Incrementalizing $\lambda$-calculi by static differentiation},
  author={Cai, Yufei and Giarrusso, Paolo G and Rendel, Tillmann and Ostermann, Klaus},
  booktitle={ACM SIGPLAN Notices},
  volume={49},
  number={6},
  pages={145--155},
  year={2014},
  organization={ACM}
}

@inproceedings{arntz2016datafun,
  title={Datafun: a functional Datalog},
  author={Arntzenius, Michael and Krishnaswami, Neelakantan R},
  booktitle={Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming},
  pages={214--227},
  year={2016},
  organization={ACM}
}

@unpublished{arntz2017fixpoints,
  title={Static differentiation of monotone fixpoints},
  author={Arntzenius, Michael},
  url={http://www.rntz.net/files/fixderiv.pdf},
  year={2017}
}

@book{kilp2000monoids,
  title={Monoids, Acts and Categories: With Applications to Wreath Products and Graphs. A Handbook for Students and Researchers},
  author={Kilp, Mati and Knauer, Ulrich and Mikhalev, Alexander V},
  volume={29},
  year={2000},
  publisher={Walter de Gruyter}
}

@book{abiteboul1995foundations,
  title={Foundations of databases: the logical level},
  author={Abiteboul, Serge and Hull, Richard and Vianu, Victor},
  year={1995},
  publisher={Addison-Wesley Longman Publishing Co., Inc.}
}

@inproceedings{sereni2008adding,
  title={Adding magic to an optimising datalog compiler},
  author={Sereni, Damien and Avgustinov, Pavel and De Moor, Oege},
  booktitle={Proceedings of the 2008 ACM SIGMOD international conference on Management of data},
  pages={553--566},
  year={2008},
  organization={ACM}
}

@inproceedings{schafer2010type,
  title={Type inference for datalog with complex type hierarchies},
  author={Sch{\"a}fer, Max and de Moor, Oege},
  booktitle={ACM Sigplan Notices},
  volume={45},
  number={1},
  pages={145--156},
  year={2010},
  organization={ACM}
}

@inproceedings{avgustinov2016ql,
  title={QL: Object-oriented Queries on Relational Data},
  author={Avgustinov, Pavel and de Moor, Oege and Jones, Michael Peyton and Sch{\"a}fer, Max},
  booktitle={LIPIcs-Leibniz International Proceedings in Informatics},
  volume={56},
  year={2016},
  organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}

@misc{semmleWebsite,
  title = {Semmle Ltd. website},
  label = {Semmle Ltd.},
  url = {https://semmle.com},
  note = {Accessed: 2018-01-01},
  year = {2018},
  key = {Semmle}
}

@inproceedings{abramsky1994domain,
  title={Domain theory},
  author={Abramsky, Samson and Jung, Achim},
  booktitle={Handbook of logic in computer science},
  year={1994},
  organization={Oxford University Press}
}

@book{winskel1993formal,
  title={The formal semantics of programming languages: an introduction},
  author={Winskel, Glynn},
  year={1993},
  publisher={MIT press}
}

@misc{logicbloxWebsite,
  title = {Logicblox Inc. website},
  label = {Logicblox Inc.},
  url = {http://www.logicblox.com},
  note = {Accessed: 2018-01-01},
  year = {2018},
  key = {Logicblox}
}

@book{halpin2014logiql,
  title={LogiQL: A Query Language for Smart Databases},
  author={Halpin, Terry and Rugaber, Spencer},
  year={2014},
  publisher={CRC Press}
}

@misc{datomicWebsite,
  title = {Datomic website},
  label = {Datomic},
  url = {https://www.datomic.com},
  note = {Accessed: 2018-01-01},
  year = {2018},
  key = {datomic}
}

@misc{souffleWebsite,
  title = {Souffle language website},
  label = {Souffle},
  url = {http://souffle-lang.org},
  note = {Accessed: 2018-01-01},
  year = {2018},
  key = {souffle}
}

@inproceedings{scholz2016fast,
  title={On fast large-scale program analysis in datalog},
  author={Scholz, Bernhard and Jordan, Herbert and Suboti{\'c}, Pavle and Westmann, Till},
  booktitle={Proceedings of the 25th International Conference on Compiler Construction},
  pages={196--206},
  year={2016},
  organization={ACM}
}

@article{saenz2011deductive,
  title={DES: A deductive database system},
  author={S{\'a}enz-P{\'e}rez, Fernando},
  journal={Electronic notes in theoretical computer science},
  volume={271},
  pages={63--78},
  year={2011},
  publisher={Elsevier}
}

@article{ehrhard2003differential,
  title={The differential lambda-calculus},
  author={Ehrhard, Thomas and Regnier, Laurent},
  journal={Theoretical Computer Science},
  volume={309},
  number={1-3},
  pages={1--41},
  year={2003},
  publisher={Elsevier}
}

@article{ehrhard2017introduction,
  title={An introduction to Differential Linear Logic: proof-nets, models and antiderivatives},
  author={Ehrhard, Thomas},
  journal={Mathematical Structures in Computer Science},
  pages={1--66},
  year={2017},
  publisher={Cambridge University Press}
}

@article{cockett2016categorical,
  title={Categorical models of the differential $\lambda$-calculus revisited},
  author={Cockett, J Robin B and Gallagher, JD},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={325},
  pages={63--83},
  year={2016},
  publisher={Elsevier}
}

@article{bucciarelli2010categorical,
  title={Categorical models for simply typed resource calculi},
  author={Bucciarelli, Antonio and Ehrhard, Thomas and Manzonetto, Giulio},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={265},
  pages={213--230},
  year={2010},
  publisher={Elsevier}
}

@article{blute2010convenient,
  title={A convenient differential category},
  author={Blute, Richard and Ehrhard, Thomas and Tasson, Christine},
  journal={arXiv preprint arXiv:1006.3140},
  year={2010}
}

@article{kerjean2016mackey,
  title={Mackey-complete spaces and power series--A topological model of Differential Linear Logic},
  author={Kerjean, Marie and Tasson, Christine},
  journal={Mathematical Structures in Computer Science},
  pages={1--36},
  year={2016},
  publisher={Cambridge University Press}
}
@book{griewank2008evaluating,
  title={Evaluating derivatives: principles and techniques of algorithmic differentiation},
  author={Griewank, Andreas and Walther, Andrea},
  volume={105},
  year={2008},
  publisher={Siam}
}
@article{kucukelbir2017automatic,
  title={Automatic differentiation variational inference},
  author={Kucukelbir, Alp and Tran, Dustin and Ranganath, Rajesh and Gelman, Andrew and Blei, David M},
  journal={The Journal of Machine Learning Research},
  volume={18},
  number={1},
  pages={430--474},
  year={2017},
  publisher={JMLR. org}
}

@article{baydin2014automatic,
  title={Automatic differentiation of algorithms for machine learning},
  author={Baydin, Atilim Gunes and Pearlmutter, Barak A},
  journal={arXiv preprint arXiv:1404.7456},
  year={2014}
}
@article{baydin2016diffsharp,
  title={DiffSharp: An AD Library for. NET Languages},
  author={Baydin, At{\i}l{\i}m G{\"u}ne{\c{s}} and Pearlmutter, Barak A and Siskind, Jeffrey Mark},
  journal={arXiv preprint arXiv:1611.03423},
  year={2016}
}
@article{siskind2008nesting,
  title={Nesting forward-mode AD in a functional framework},
  author={Siskind, Jeffrey Mark and Pearlmutter, Barak A},
  journal={Higher-Order and Symbolic Computation},
  volume={21},
  number={4},
  pages={361--376},
  year={2008},
  publisher={Springer}
}
@article{manzyuk2012simply,
  title={A simply typed $\lambda$-calculus of forward automatic differentiation},
  author={Manzyuk, Oleksandr},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={286},
  pages={257--272},
  year={2012},
  publisher={Elsevier}
}
@article{kelly2016evolving,
  title={Evolving the Incremental $\lambda$ Calculus into a Model of Forward Automatic Differentiation (AD)},
  author={Kelly, Robert and Pearlmutter, Barak A and Siskind, Jeffrey Mark},
  journal={arXiv preprint arXiv:1611.03429},
  year={2016}
}

@article{plotkin2018principles,
  title={Some Principles of Differential Programming Languages},
  author={Plotkin, Gordon},
  year={2018},
  journal={}
}

@incollection{demoor2013aggregates,
  title={Doing a Doaitse: Simple Recursive Aggregates in Datalog},
  author={de Moor, Oege and Baars, Arthur},
  booktitle={Liber Amicorum for Doaitse Swierstra},
  pages={207-216},
  year={2013},
  url={http://www.staff.science.uu.nl/~hage0101/liberdoaitseswierstra.pdf},
  note = {Accessed: 2018-01-01}
}

@article{compton1994stratified,
  title={Stratified least fixpoint logic},
  author={Compton, Kevin J},
  journal={Theoretical Computer Science},
  volume={131},
  number={1},
  pages={95--120},
  year={1994},
  publisher={Elsevier}
}
@inproceedings{alvarez2019changeactions,
  title={Change Actions: Models of Generalised Differentiation},
  author={Alvarez-Picallo, Mario and Ong, C.-H Luke},
  booktitle={International Conference on Foundations of Software Science and Computation Structures},
  year={2019},
  organization={Springer},
  note={in press}
}

@article{arxivchangeactions,
  author    = {Mario Alvarez{-}Picallo and
               Alex Eyers{-}Taylor and
               Michael Peyton Jones and
               C.{-}H. Luke Ong},
  title     = {Fixing Incremental Computation: Derivatives of Fixpoints, and the
               Recursive Semantics of Datalog},
  journal   = {CoRR},
  volume    = {abs/1811.06069},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.06069},
  archivePrefix = {arXiv},
  eprint    = {1811.06069},
}

@article{elliott2018simple,
  title={The simple essence of automatic differentiation},
  author={Elliott, Conal},
  journal={Proceedings of the ACM on Programming Languages},
  volume={2},
  number={ICFP},
  pages={70},
  year={2018},
  publisher={ACM}
}