Collection on Session Types Material
Published March 4, 2021 | Version v2
Software Open

Zooid: a DSL for Certified Multiparty Computation

Authors/Creators

  • 1. Imperial College London, University of Kent
  • 2. Imperial College London

Description

Artifact for the Zooid language and Coq mechanisation of the metathory of multiparty session types.

This artifact contains the implementation for "Zooid: a DSL for Certified Multiparty Computation" from PLDI'21

This code is maintained at: https://github.com/emtst/zooid-cmpst

Files

README.md

Files (720.9 MB)

Name Size
md5:86174a93c4b350b107010d8ff3ea718d
1.1 kB Download
md5:d47e543302458a8f9fd59c7e8686c4db
6.7 kB Preview Download
md5:c4a323ee758515d356dff9d5df8ff2e6
720.9 MB Download