TY  - RPRT
TI  - Incremental Computation with Names
AU  - Matthew A. Hammer
AU  - Jana Dunfield
AU  - Kyle Headley
AU  - Nicholas Labich
AU  - Jeffrey S. Foster
AU  - Michael Hicks
AU  - David Van Horn
PY  - 2021
DO  - 10.1145/2814270.2814305
UR  - https://arxiv.org/abs/1503.07792
ID  - 1503.07792
ER  -