ECOOP 2022 (series) / Nikolai Kudasov
![Nikolai Kudasov](https://2022.ecoop.org/getProfileImage/nikolaikudasov/435103a2-9587-4971-98d5-88f1f313031d/small.jpg?1717349414000)
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