Beskrivelse
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.
Dato for tilgængelighed | 27 maj 2022 |
---|---|
Forlag | ZENODO |