Mechanizing Session-Types Using a Structural View

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 fil...

Full description

Bibliographic Details
Main Authors: Sano, Chuta, Kavanagh, Ryan, Pientka, Brigitte
Format: Other/Unknown Material
Language:unknown
Published: Zenodo 2023
Subjects:
session types
Beluga
mechanization
Beluga*
Online Access:https://doi.org/10.5281/zenodo.8329645
Description
Summary: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

Similar Items