Monadic Compiler Calculation (Functional Pearl)

Patrick Bahr
, Graham Hutton

Programming Logic and Semantics

University of Nottingham

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

1 results
- Title
- Start date(ascending)

Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 27 May 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Dataset: Software