Registered user since Sat 6 Dec 2025
Name:Islam Talipov
Country:Russia
Affiliation:HSE University
GitHub: https://github.com/lishy2
Research interests:Type Theory, Functional Programming
Contributions
POPL 2026-profile
View general profile
View general profile