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 2025-profile
View general profile
View general profile