Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dmitrij Szamozvancev
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2019 profile
ICFP 2022 profile
POPL 2022 profile
Registered user since Thu 3 Aug 2017
Name:
Dmitrij Szamozvancev
Country:
United Kingdom
Affiliation:
University of Cambridge
Contributions
FARM 2022
Committee Member in Program Committee within the FARM-track
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
Share
x
Mon 6 Feb 23:33