ICFP/SPLASH 2025 (series) / Sergey Goncharov
Registered user since Sat 12 Apr 2025
Name:Sergey Goncharov
Country:United Kingdom
Affiliation:University of Birmingham
Personal website: https://sergey-goncharov.org/
Research interests:Category theory, Semantics, Computational Effects, Coalgebra
Contributions
Using general profile