Registered user since Fri 19 Jan 2024
Name:Kirill Golubev
Country:Finland
Affiliation:University of Turku
Personal website: https://frogofjuly.github.io
GitHub: https://github.com/frogofjuly
Contributions
2026
RocqPL
POPL 2026-profile
View general profile
View general profile