Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published October 4, 2021 | Version v1
Software Open

Formal Metatheory of Second-Order Abstract Syntax – Artefact

  • 1. University of Cambridge

Description

Ubuntu Linux 21.04 virtual machine for the artefact evaluation of the POPL 2022 paper

    Formal Metatheory of Second-Order Abstract Syntax (Marcelo Fiore, Dmitrij Szamozvancev)

Includes the Agda compiler, its standard library and the agda-categories library.

The project files can be found in the agda-soas folder in the home directory.

The base virtual machine came from osboxes.org, but login details have been changed to:
Username: agda-soas
Password: popl2022-agda-soas

Files

SOAS.zip

Files (558.7 MB)

Name Size Download all
md5:36950d4698f3e1dc813e992a5a1f8d40
558.7 MB Preview Download