Published May 27, 2022
| Version 1.0
Software
Open
Supplementary Material for "Monadic Compiler Calculation"
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
README.md
Files
(954.4 MB)
Name | Size | Download all |
---|---|---|
md5:7760c0dfea21788d3a93cf0ea05390ad
|
954.4 MB | Download |
md5:ac5ffc0ef70bb71877f297cfb34821a1
|
21.0 kB | Download |
md5:57c25fe45864032c9ba5d6e1b929c78f
|
7.4 kB | Preview Download |
Additional details
Funding
- UK Research and Innovation
- Mind the Gap: Unified Reasoning About Program Correctness and Efficiency EP/P00587X/1