@inproceedings{Ahrens_2022,
series={CPP ’22},
title={Implementing a category-theoretic framework for typed abstract syntax},
url={http://dx.doi.org/10.1145/3497775.3503678},
DOI={10.1145/3497775.3503678},
booktitle={Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs},
publisher={ACM},
author={Ahrens,
Benedikt and Matthes,
Ralph and Mörtberg,
Anders},
year={2022},
month=jan,
collection={CPP ’22} }