Dmitrij Szamozvancev -

Registered user since Thu 3 Aug 2017

Name:Dmitrij Szamozvancev

Affiliation:University of Cambridge

Contributions

POPL 2022	Author of Formal Metatheory of Second-Order Abstract Syntax within the POPL-track
FARM 2019	Committee Member in Program Committee within the FARM 2019-track
Haskell 2017	Author of Well-Typed Music Does Not Sound Wrong (Experience Report) within the Haskell 2017-track