Implementing a category-theoretic framework for typed abstract syntaxOpen Website

Benedikt Ahrens, Ralph Matthes, Anders Mörtberg

2022 (modified: 14 Mar 2023)CPP 2022Readers: Everyone
0 Replies