Danel Ahman -

Registered user since Wed 1 Jul 2015

Name: Danel Ahman

Country: Slovenia

Affiliation: University of Ljubljana

Personal website: https://danelahman.github.io

Research interests: Category theory, Type theory, Logic, Computational effects, Handlers

Contributions

ICFP 2020	Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Research Papers-track Committee Member in External Review Committee within the ICFP Research Papers-track
ESOP 2019	Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track
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
ICFP 2019	Author of Dijkstra Monads for All within the Research Papers-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