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
ICFP 2023 profile
POPL 2022 profile
Registered user since Thu 3 Aug 2017
Name:
Dmitrij Szamozvancev
Country:
United Kingdom
Affiliation:
University of Cambridge
Contributions
2023
OCaml
Author of Safe and efficient generic functions with MacoCaml within the OCaml 2023-track
FARM
Committee Member in Program Committee within the FARM 2023-track
2022
FARM
Committee Member in Program Committee within the FARM-track
POPL
Author of Formal Metatheory of Second-Order Abstract Syntax within the POPL-track
2019
FARM
Committee Member in Program Committee within the FARM 2019-track
2017
Haskell
Author of Well-Typed Music Does Not Sound Wrong (Experience Report) within the Haskell 2017-track
Share
x
Fri 22 Nov 07:09