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 2022	Author of Student Research Competition – Finalist Presentations within the ICFP Papers and Events-track Student Research Competition Co-Chair in Program Committee within the Student Research Competition-track Student Research Competition Co-Chair in Organizing Committee
ML 2021	Committee Member in Program Committee within the ML 2021-track
HOPE 2021	Author of Higher-Order Asynchronous Effects within the HOPE 2021-track
POPL 2021	Author of Asynchronous Effects within the POPL-track
ICFP 2020	Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track Committee Member in External Review Committee within the ICFP Program-track
ICFP 2019	Author of Dijkstra Monads for All within the 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
HOPE 2018	Committee Member in Program Committee within the HOPE 2018-track
ML 2018	Author of ML as a Tactic Language, Again within the ML 2018-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
HOPE 2017	Author of Handling fibred algebraic effects within the HOPE 2017-track Author of Recalling a Witness within the HOPE 2017-track
POPL 2017	Author of Dijkstra Monads for Free within the POPL-track