21 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 21 cited
Formal Metatheory of Second-Order Abstract Syntax
Marcelo Fiore, Dmitrij Szamozvancev
Despite extensive research both on the theoretical and practical fronts, formalising, reasoning about, and implementing languages with variable binding is still a daunting endeavou…
cs.PL2020
Adjoint Reactive GUI
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Most interaction with a computer is done via a graphical user interface. Traditionally, these are implemented in an imperative fashion using shared mutable state and callbacks. Thi…