Registered user since Thu 3 Aug 2017
Name:Dmitrij Szamozvancev
Country:United Kingdom
Affiliation:University of Cambridge
Contributions
| POPL 2022 | Formal Metatheory of Second-Order Abstract Syntax | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile