Παρακολούθηση
Nikita Zyuzin
Nikita Zyuzin
IMDEA Software Institute
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα imdea.org - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–2