Published May 31, 2023 | Version v2
Software Open

Supplementary Material for "Calculating Compilers for Concurrency"

  • 1. IT University of Copenhagen
  • 2. University of Nottingham

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.

Files

Files (595.3 MB)

Name Size Download all
md5:4e80a6e273265919259158b68cc9b7a4
595.3 MB Download
md5:3332049eb5cca6930504f5439d6f0037
26.5 kB Download