Dmitrij Szamozvancev

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Musical Instruments

Graphical User Interfaces

Precisely Defined

Reactive Planning

Top Venues

Proc. ACM Program. Lang.

Publications

Marcelo Fiore, Dmitrij Szamozvancev
Formal Metatheory of Second-Order Abstract Syntax. CoRR (2022)
Marcelo Fiore, Dmitrij Szamozvancev
Formal metatheory of second-order abstract syntax. Proc. ACM Program. Lang. 6 (POPL) (2022)
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Adjoint Reactive GUI Programming. FoSSaCS (2021)
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Adjoint Reactive GUI. CoRR (2020)
Dmitrij Szamozvancev, Michael B. Gale
Well-typed music does not sound wrong (experience report). Haskell (2017)