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.
Date made available | 31 May 2023 |
---|---|
Publisher | ZENODO |
Dataset
Date made available | 31 May 2023 |
---|---|
Publisher | ZENODO |