Published May 31, 2023
| Version v2
Software
Open
Supplementary Material for "Calculating Compilers for Concurrency"
Description
This repository contains the supplementary material for the paper Calculating Compilers for Concurrency. The material includes Agda formalisations of all calculations in the paper.
Files
Files
(595.3 MB)
Name | Size | Download all |
---|---|---|
md5:4e80a6e273265919259158b68cc9b7a4
|
595.3 MB | Download |
md5:3332049eb5cca6930504f5439d6f0037
|
26.5 kB | Download |