Fungi: Typed incremental computation with names

• Published in: arXiv.org
• Main Authors: Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Narasimhamurthy, Monal, Economou, Dimitrios J
• Format: Paper
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 20.08.2018
• Subjects: Allocations; Computation; Fungi; Invariants; Names; Reuse; Uniqueness

Incremental computations attempt to exploit input similarities over time, reusing work that is unaffected by input changes. To maximize this reuse in a general-purpose programming setting, programmers need a mechanism to identify dynamic allocations (of data and subcomputations) that correspond over...