Zooid: a DSL for Certified Multiparty Computation
Author(s)
Castro-Perez, David
Ferreira, Francisco
Gheri, Lorenzo
Yoshida, Nobuko
Type
Software / Code
Abstract
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 artifact contains the implementation for "Zooid: a DSL for Certified Multiparty Computation" from PLDI'21
Version
v2
Date Issued
2021-03-04
Citation
2021
Copyright Statement
https://creativecommons.org/licenses/by/4.0/
Subjects
concurrency
correctness
distributed systems
domain-specific languages
language design
specification
theorem provers
type systems