conf.researchr.org / Danel Ahman
Registered user since Wed 1 Jul 2015
Name:Danel Ahman
Country:Estonia
Affiliation:University of Tartu
Personal website: https://danel.ahman.ee
Research interests:Category theory, Type theory, Logic, Computational effects, Effect handlers
Contributions
2026
ICFP
2022
2021
ML Family Workshop
2020
2019
ESOP
2018
ML Family Workshop
POPL
- Author of Handling fibred algebraic effects within the Research Papers-track
- Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track
- Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track