| Formal metatheory of second-order abstract syntax M Fiore, D Szamozvancev Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022 | 19 | 2022 |
| Well-typed music does not sound wrong (experience report) D Szamozvancev, MB Gale Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 99-104, 2017 | 6 | 2017 |
| Adjoint Reactive GUI Programming. CU Graulund, D Szamozvancev, N Krishnaswami FoSSaCS, 289-309, 2021 | 3 | 2021 |
| Semantics of temporal type systems D Szamozvancev, N Krishnaswami Master’s thesis, University of Cambridge, 2018 | 3 | 2018 |
| Safe and efficient generic functions with MacoCaml D Szamozvancev, L White, N Xie, J Yallop | | |
