Self-Adjusting Computation, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01100346
Self-adjusting computation: (an overview), PEPM, pp.1-6, 2009. ,
Imperative self-adjusting computation, Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.309-322, 2008. ,
Step-indexed syntactic logical relations for recursive and quantified types, Programming Languages and Systems, pp.69-83, 2006. ,
An indexed model of recursive types for foundational proof-carrying code, ACM Trans. Program. Lang. Syst, vol.23, issue.5, pp.657-683, 2001. ,
Efficiently updating materialized views, SIGMOD, pp.61-71, 1986. ,
A theory of changes for higher-order languages -incrementalizing ?-calculi by static differentiation, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014. ,
A type theory for incremental computational complexity with control flow changes, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, pp.132-145, 2016. ,
Purely functional incremental computing, Programming Languages, pp.62-77, 2016. ,
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation, 2018. ,
Maintenance of materialized views: problems, techniques, and applications, Materialized views, pp.145-157, 1999. ,
, Typed Adapton: refinement types for incremental computations with precise names, 2016.
Incremental computation with names, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.748-766, 2015. ,
Adapton: composable, demand-driven incremental computation, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.156-166, 2014. ,
Lambda lifting: transforming programs to recursive equations, 201 in Lecture Notes in Computer Science, pp.190-203, 1985. ,
Incremental query evaluation in a ring of databases, Symp. Principles of Database Systems (PODS), pp.87-98, 2010. ,
DBToaster: higher-order delta processing for dynamic, frequently fresh views, The VLDB Journal, vol.23, issue.2, pp.253-278, 2014. ,
Incremental view maintenance for collection programming, Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. pp. 75-90. PODS '16, 2016. ,
Efficiency by incrementalization: an introduction, HOSC, vol.13, issue.4, pp.289-313, 2000. ,
Caching intermediate results for program improvement, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp.190-201, 1995. ,
, criterion: a Haskell microbenchmarking library, 2014.
Finite differencing of computable expressions, TOPLAS, vol.4, issue.3, pp.402-454, 1982. ,
F-ing modules, Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation, pp.89-102, 2010. ,
Reasoning about programs in continuation-passing style, Lisp and symbolic computation, vol.6, issue.3-4, pp.289-360, 1993. ,
Modular, higher-order cardinality analysis in theory and practice, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.335-347, 2014. ,
, The Coq development team: The Coq proof assistant reference manual, 2018.
Demystifying differentiable programming: Shift/reset the penultimate backpropagator ,
, T (dE ) 1
,