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
Using general profile