Published October 4, 2021
| Version v1
Software
Open
Formal Metatheory of Second-Order Abstract Syntax – Artefact
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 |