There is a newer version of the record available.

Published October 5, 2023 | Version 0.1.0
Journal article Open

Artifact for "A Core Calculus for Documents"

Authors/Creators

  • 1. Brown University

Description

These are Docker images that contain the codebase for our POPL 2024 paper "A Core Calculus for Documents". Download the tarfile appropriate for your machine's architecture (e.g. arm64 for ARM like M1 Macs, and amd64 for x86 like most else). Once you download the tarfile, you can run:

docker load -i document-calculus-popl24-<ARCH>.tar.gz
docker run -ti document-calculus-popl24:<ARCH> bash

Then read the README.md inside the image for further instructions.

Alternatively, download the source tarball and follow the "From Source" instructions in the README.

Files

Files (1.3 GB)

Name Size Download all
md5:f1f0245e2392a2b8ad1a8d8cefdab0eb
639.5 MB Download
md5:18482c7917cf1b51b26175dfcc18c6a3
639.0 MB Download
md5:cc40d165dac7668d5ee687fe247b8843
14.9 MB Download