Suivre
Nikita Zyuzin
Nikita Zyuzin
IMDEA Software Institute
Adresse e-mail validée de imdea.org - Page d'accueil
Titre
Citée par
Citée par
Année
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
262018
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–2