ECOOP 2022 (series) / Nikolai Kudasov

Registered user since Thu 28 Apr 2016
Name:Nikolai Kudasov
Country:Russia
Affiliation:Innopolis University, Russia
Personal website:https://github.com/fizruk/
Twitter:https://twitter.com/crazy_fizruk
GitHub:https://github.com/fizruk
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 |
Using general profile