Well-typed music does not sound wrong (experience report). - Dmitrij Szamozvancev; Michael B. Gale (Haskell, 2017)

Adjoint Reactive GUI. - Christian Uldal Graulund; Dmitrij Szamozvancev; Neel Krishnaswami (CoRR, 2020)

Adjoint Reactive GUI Programming. - Christian Uldal Graulund; Dmitrij Szamozvancev; Neel Krishnaswami (FoSSaCS, 2021)

Formal metatheory of second-order abstract syntax. - Marcelo Fiore; Dmitrij Szamozvancev (Proc. ACM Program. Lang., 2022)