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