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