Published October 4, 2021
| Version v2
Software
Open
Pirouette Coq Code
Description
Coq Code for the paper "Pirouette: Typed Functional Choreographic Programming".
Files
pirouette-coq.zip
Files
(9.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:253e8ae76e511c3d72c83aa2fa6b9c9a
|
9.4 GB | Preview Download |