Login / Signup
Nikita Zyuzin
ORCID
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 3
Top Topics
High Recall
Finite Sample
Theorem Prover
Context Sensitive
Top Venues
Proc. ACM Program. Lang.
CoRR
FMCAD
</>
Publications
</>
Nikita Zyuzin
,
Aleksandar Nanevski
Contextual modal types for algebraic effects and handlers.
Proc. ACM Program. Lang.
5 (ICFP) (2021)
Nikita Zyuzin
,
Aleksandar Nanevski
Contextual Modal Types for Algebraic Effects and Handlers.
CoRR
(2021)
Heiko Becker
,
Nikita Zyuzin
,
Raphaël Monat
,
Eva Darulova
,
Magnus O. Myreen
,
Anthony C. J. Fox
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4.
FMCAD
(2018)