Nikita Zyuzin

Registered user since Thu 15 Jul 2021

Name:Nikita Zyuzin
Country:Spain
Affiliation:IMDEA Software Institute

Contributions

ICFP 2021 Author of Contextual Modal Types for Algebraic Effects and Handlers within the Research Papers-track