Dmitrij Szamozvancev

Orcid: 0000-0002-5436-6302

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2022

Formal metatheory of second-order abstract syntax.

[DOI]

Proc. ACM Program. Lang., 2022

2021

Adjoint Reactive GUI Programming.

[DOI]

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

2020

Adjoint Reactive GUI.

[DOI]

CoRR, 2020

2017

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

[DOI]

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