@misc{indiciae62e5a293a0e4, title = {DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types}, author = {Timon Böhler and Tobias Reinhard and David Richter and Mira Mezini}, year = {2026}, doi = {10.1145/3798264}, url = {https://arxiv.org/abs/2602.20866}, note = {Source identifier: 2602.20866} }