Supplementary Material for "Calculating Compilers for Concurrency"

Dataset

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 available31 May 2023
PublisherZENODO

Cite this