Published September 8, 2023
| Version 1.0
Software
Open
Mechanizing Session-Types Using a Structural View
Description
This artifact contains the Beluga mechanization for the paper
Mechanizing Session-Types Using a Structural View
C. Sano, R. Kavanagh, B. Pientka
Proceedings of the ACM on Programming Languages, Volume 7,
Number OOPSLA2, Article No. 235 (October 2023),
https://doi.org/10.1145/3622810
The artifact files are:
- cp_mechanization.tar.gz: the Beluga mechanization itself
- artifact.qcow2: a virtual machine containing the mechanization and a pre-installed copy of Beluga 1.1
Files
Files
(2.0 GB)
Name | Size | Download all |
---|---|---|
md5:91fcf5fe7871490486d757de018c8b3d
|
2.0 GB | Download |
md5:d4f4493b73b256ac0fa1e02df086d909
|
10.0 kB | Download |
Additional details
Related works
- Is supplement to
- Journal article: 10.1145/3622810 (DOI)