Published October 5, 2023 | Version 0.1.1
Journal article Open

Artifact for "A Core Calculus for Documents"

  • 1. Brown University

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.

Files

README.pdf

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
md5:75e54ee6ffd7065df48ede1f80620562
252.9 kB Preview Download