Volgen
Nikita Zyuzin
Nikita Zyuzin
IMDEA Software Institute
Geverifieerd e-mailadres voor imdea.org - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2