Danel Ahman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Sheaves as Oracle Computations (Invited Talk). | Danel Ahman, Andrej Bauer |
| 2026 | FSCD | Strong Normalisation for Asynchronous Effects. | Danel Ahman, Ilja Sobolev |
| 2026 | LICS | A Convenient Fibration for Dependently-Typed Probability Theory. | Danel Ahman, Ohad Kammar, Rasmus Ejlers Mgelberg |
| 2023 | FOSSACS | When Programs Have to Watch Paint Dry. | Danel Ahman |
| 2020 | ESOP | Runners in Action. | Danel Ahman, Andrej Bauer |
| 2019 | CALCO | Decomposing Comonad Morphisms. | Danel Ahman, Tarmo Uustalu |
| 2019 | ESOP | Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. | Guido Martnez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clment Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
| 2017 | POPL | Dijkstra monads for free. | Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martnez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy |
| 2016 | FOSSACS | Dependent Types and Fibred Computational Effects. | Danel Ahman, Neil Ghani, Gordon D. Plotkin |
| 2012 | FOSSACS | When Is a Container a Comonad? | Danel Ahman, James Chapman, Tarmo Uustalu |