Published September 8, 2023 | Version 1.0
Software Open

Mechanizing Session-Types Using a Structural View

Creators

  • 1. McGill University

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)