ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Nikolai Kudasov

Registered user since Thu 28 Apr 2016

Name:Nikolai Kudasov
Country:Russia
Affiliation:Innopolis University, Russia
Research interests:Type Theory, Functional Programming

Contributions

FTfJP 2022 Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects
Show activities from other conferences

ECOOP 2022-profile
View general profile