DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Timon Böhler, Tobias Reinhard, David Richter, Mira Mezini
DOI: 10.5281/zenodo.18757667
Cited by: 1

Abstract

This is the artifact for "DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types", accepted at OOPSLA'26. ArtifactIncr3.ova is a VirtualBox 7.2 image for x64. See the README for instructions to run it. ArtifactIncr2-arm.ova is a VirtualBox 7.2 image for ARM. It should be run with at least 8GB RAM and is likely slower, so the x64 image is recommended if possible. artifact.zip contains the source code. If Lean (https://lean-lang.org/install/), uv (https://docs.astral.sh/uv), and TexLive are installed, it can be run directly.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
24 February 2026