Published May 27, 2022 | Version 1.0
Software Open

Supplementary Material for "Monadic Compiler Calculation"

  • 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

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