Published May 27, 2022
| Version v1
Software
Open
Monadic Compiler Calculation
Authors/Creators
- 1. IT University of Copenhagen
- 2. University of Nottingham
Description
This repository contains the supplementary material for the paper Monadic Compiler Calculation. The material includes Agda formalisations of all calculations in the paper. In addition, we also include Agda formalisations for calculations that were mentioned but
not explicitly carried out in the paper.
Files
Files
(951.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:cfc595cfe34da9b6aa13532db486c3f4
|
951.6 MB | Download |
Additional details
Funding
- UK Research and Innovation
- Mind the Gap: Unified Reasoning About Program Correctness and Efficiency EP/P00587X/1