Registered user since Wed 1 Jul 2015
Name:Danel Ahman
Country:Estonia
Affiliation:University of Tartu
Personal website: https://danel.ahman.ee
GitHub: https://github.com/danelahman
Research interests:Category theory, Type theory, Logic, Computational effects, Handlers, Modal types
Contributions
POPL 2026-profile
View general profile
View general profile