Supplementary Material for "Calculating Compilers for Concurrency"

Data set

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ængelighed31 maj 2023
ForlagZENODO

Citationsformater