![Nikolai Kudasov](https://popl24.sigplan.org/getProfileImage/nikolaikudasov/69a916fb-4bf6-4d1d-83a4-a977e165323c/small.jpg?1712853992000)
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
POPL 2024-profile
View general profile
View general profile