conf.researchr.org / Danel Ahman
Registered user since Wed 1 Jul 2015
Name: Danel Ahman
Country: France
Affiliation: Inria, France
Personal website: https://danelahman.github.io
Research interests: Category theory, Type theory, Logic, Computational effects, Handlers
All Activities
- Author of Handling fibred algebraic effects within the HOPE 2017-track in HOPE 2017
- Author of Handling fibred algebraic effects within the Research Papers-track in POPL 2018
- Author of Dijkstra Monads for Free within the POPL-track in POPL 2017
- Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track in POPL 2018
- Committee Member in Program Committee for HOPE 2018
- Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017
- Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track in POPL 2018