Spremljaj
Nikita Zyuzin
Nikita Zyuzin
IMDEA Software Institute
Preverjeni e-poštni naslov na imdea.org - Domača stran
Naslov
Navedeno
Navedeno
Leto
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
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–2