The Higher-Order Aggregate Update Problem
Abstract elided by the publisher.
Related papers
- The Aggregate Update Problem in Functional Programming Systems POPL 1985
- Aggregate Update Problem for Multi-clocked Dataflow Languages CGO 2022
- On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications POPL 1990
- Optimizing aggregate array computations in loops TOPLAS 2005
- Path Analysis and the Optimization of Nonstrict Functional Programs TOPLAS 1994
- APERTURE: Algorithm-System Co-optimization for Temporal Graph Network Inference PPoPP 2026
- Remote Attribute Updating for Language-Based Editors POPL 1986
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation PLDI 2014