There is a newer version of the record available.

Published February 24, 2026 | Version v1
Software Open

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

Authors/Creators

  • 1. ROR icon Technical University of Darmstadt

Description

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.

Files

artifact.zip

Files (8.6 GB)

Name Size Download all
md5:93a1fe0ab391432737f20158d9889e3a
14.1 MB Preview Download
md5:96cbc0bb0a3138571a19ad70044d2968
4.4 GB Download
md5:372103616505b1532d0a5ca81b77bdf2
4.2 GB Download
md5:7e6f5b7b5952edf3d5023e02fa3986dd
8.1 kB Preview Download