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

Contributions

POPL 2019	Committee Member in Program Committee within the Research Papers-track
ML 2018	Author of ML as a Tactic Language, Again within the ML 2018-track
HOPE 2018	Committee Member in Program Committee within the HOPE 2018-track
HOPE 2017	Author of Handling fibred algebraic effects within the HOPE 2017-track Author of Recalling a Witness within the HOPE 2017-track
POPL 2018	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
POPL 2017	Author of Dijkstra Monads for Free within the POPL-track