Published October 5, 2023
| Version 0.1.1
Journal article
Open
Artifact for "A Core Calculus for Documents"
Description
These are Docker images that contain the codebase for our POPL 2024 paper "A Core Calculus for Documents". Download the README.pdf for instructions on how to run the artifact and for details about its contents.