Dmitrij Szamozvancev

According to our database, Dmitrij Szamozvancev authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Formal metatheory of second-order abstract syntax.

Marcelo Fiore, Dmitrij Szamozvancev

Proc. ACM Program. Lang., 2022

2021

Adjoint Reactive GUI Programming.

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Adjoint Reactive GUI.

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

CoRR, 2020

2017

Well-typed music does not sound wrong (experience report).

Dmitrij Szamozvancev, Michael B. Gale

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017