![Nikolai Kudasov](https://icfp24.sigplan.org/getProfileImage/nikolaikudasov/ad498e12-51a8-4861-941b-a9b3888200b8/small.jpg?1724714325000)
Registered user since Thu 28 Apr 2016
Name:Nikolai Kudasov
Country:Russia
Affiliation:Innopolis University
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
Using general profile