Supplementary Material for "Calculating Compilers for Concurrency"
- Patrick Bahr(Creator),
- Graham Hutton(Creator)
- ,
- ,
- University of Nottingham
Dataset:
Dataset Types
Software
Dataset Information
Date made available
2023-05-31Publisher
ZENODODescription
This repository contains the supplementary material for the paper Calculating Compilers for Concurrency. The material includes Agda formalisations of all calculations in the paper.
Cite this dataset
Brief description
Patrick Bahr, Graham Hutton. (2023). Supplementary Material for "Calculating Compilers for Concurrency". 10.5281/zenodo.8124116