• Sign in
  • Sign up
conf.researchr.org / Dmitrij Szamozvancev
  • 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
xMon 6 Feb 23:33
using conf.researchr.org (v1.58.0)
Support page
Sign Up