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 |
Supplementary Material for "Calculating Compilers for Concurrency"
- Patrick Bahr (Ophavsmand)
- Graham Hutton (Ophavsmand)
Data set