Supplementary Material for "Monadic Compiler Calculation"
- Patrick Bahr(Creator),
- Graham Hutton(Creator)
- ,
- ,
- University of Nottingham
Dataset:
Dataset Types
Software
Dataset Information
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.
Cite this dataset
Brief description
Patrick Bahr, Graham Hutton. (2022). Supplementary Material for "Monadic Compiler Calculation". 10.5281/zenodo.6794696