Registered user since Tue 27 Aug 2024
Name:Denis Buzdalov
Affiliation:Institute for System Programming of RAS
GitHub: https://github.com/buzden
Research interests:functional programming, dependent types, property-based testing
Contributions
ICFP 2024-profile
View general profile
View general profile