• Sign in
  • Sign up
conf.researchr.org / Danel Ahman
  • ETAPS 2019 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2021 profile
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

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
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

Share
xWed 27 Jan 01:03
using conf.researchr.org (v1.40.2)
Support page
Sign Up