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/
X (Twitter): https://x.com/crazy_fizruk
GitHub: https://github.com/fizruk
Research interests:Type Theory, Functional Programming
Contributions
ECOOP 2022-profile
View general profile
View general profile