{"inproceedings":{"@attributes":{"key":"conf\/cpp\/AhrensMM22","mdate":"2022-12-05"},"author":["Benedikt Ahrens","Ralph Matthes","Anders M\u00f6rtberg"],"title":"Implementing a category-theoretic framework for typed abstract syntax.","pages":"307-323","year":"2022","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/3497775.3503678","crossref":"conf\/cpp\/2022","url":"db\/conf\/cpp\/cpp2022.html#AhrensMM22"}}