conf.researchr.org / Ralph Matthes
Registered user since Fri 10 Dec 2021
Name:Ralph Matthes
Affiliation:IRIT (CNRS and Univ. of Toulouse)
Contributions
| CPP 2022 | Author of Implementing a category-theoretic framework for typed abstract syntax within the CPP 2022-track |