Supplementary Material for "Monadic Compiler Calculation"

Data set

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ængelighed27 maj 2022
ForlagZENODO

Citationsformater