Registered user since Fri 10 Dec 2021
Name:Ralph Matthes
Affiliation:IRIT (CNRS and Univ. of Toulouse)
Contributions
| CoqPL 2023 | Formalizing Monoidal Categories and Actions for Syntax with Binders | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile