Follow
Nikita Zyuzin
Title
Cited by
Cited by
Year
A verified certificate checker for finite-precision error bounds in Coq and HOL4
H Becker, N Zyuzin, R Monat, E Darulova, MO Myreen, A Fox
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
242018
Contextual modal types for algebraic effects and handlers
N Zyuzin, A Nanevski
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
92021
The system can't perform the operation now. Try again later.
Articles 1–2