Registered user since Fri 10 Dec 2021
Name:Ralph Matthes
Country:France
Affiliation:IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3, Toulouse
Personal website:https://www.irit.fr/~Ralph.Matthes/
Contributions
| CPP 2022 | Implementing a category-theoretic framework for typed abstract syntax | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile