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