Incremental Computing by Differential Execution
No abstract available.
Related papers
- Differential Execution with Lexical Tracing OOPSLA 2026
- Stateful Differential Operators for Incremental Computing POPL 2026
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation PLDI 2014
- Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation ESOP 2019
- Some Observations Concerning Formal Differentiation of Set Theoretic Expressions TOPLAS 1982
- A constraint-based architecture for local search OOPSLA 2002
- Parallelism-centric what-if and differential analyses PLDI 2019
- Compiling to categories ICFP 2017