Beskrivelse
This repository contains the supplementary material for the paper Calculating Compilers for Concurrency. The material includes Agda formalisations of all calculations in the paper.
Dato for tilgængelighed | 31 maj 2023 |
---|---|
Forlag | ZENODO |
Data set
Dato for tilgængelighed | 31 maj 2023 |
---|---|
Forlag | ZENODO |