Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs - Danel Ahman; Marko Kääramees (MBT, 2012)

Update Monads: Cointerpreting Directed Containers. - Danel Ahman; Tarmo Uustalu (TYPES, 2013)

Normalization by Evaluation and Algebraic Effects. - Danel Ahman; Sam Staton (MFPS, 2013)

When is a container a comonad? - Danel Ahman; James Chapman 001; Tarmo Uustalu (Log. Methods Comput. Sci., 2014)

Coalgebraic Update Lenses. - Danel Ahman; Tarmo Uustalu (MFPS, 2014)

Dependent Types and Fibred Computational Effects. - Danel Ahman; Neil Ghani; Gordon D. Plotkin (FoSSaCS, 2016)

Dijkstra Monads for Free. - Danel Ahman; Catalin Hritcu; Guido Martínez; Gordon D. Plotkin; Jonathan Protzenko; Aseem Rastogi; Nikhil Swamy (CoRR, 2016)

Directed Containers as Categories. - Danel Ahman; Tarmo Uustalu (MSFP, 2016)

Taking Updates Seriously. - Danel Ahman; Tarmo Uustalu (BX@ETAPS, 2017)

Dijkstra monads for free. - Danel Ahman; Catalin Hritcu; Kenji Maillard; Guido Martínez; Gordon D. Plotkin; Jonathan Protzenko; Aseem Rastogi; Nikhil Swamy (POPL, 2017)

Fibred Computational Effects. - Danel Ahman (CoRR, 2017)

Fibred computational effects - Danel Ahman (2017)

Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. - Guido Martínez; Danel Ahman; Victor Dumitrescu; Nick Giannarakis; Chris Hawblitzel; Catalin Hritcu; Monal Narasimhamurthy; Zoe Paraskevopoulou; Clément Pit-Claudel; Jonathan Protzenko; Tahina Ramananandro; Aseem Rastogi; et al. (CoRR, 2018)

Handling fibred algebraic effects. - Danel Ahman (Proc. ACM Program. Lang., 2018)

Recalling a witness: foundations and applications of monotonic state. - Danel Ahman; Cédric Fournet; Catalin Hritcu; Kenji Maillard; Aseem Rastogi; Nikhil Swamy (Proc. ACM Program. Lang., 2018)

Decomposing Comonad Morphisms. - Danel Ahman; Tarmo Uustalu (CALCO, 2019)

Meta-F ^ star : Proof Automation with SMT, Tactics, and Metaprograms. - Guido Martínez; Danel Ahman; Victor Dumitrescu; Nick Giannarakis; Chris Hawblitzel; Catalin Hritcu; Monal Narasimhamurthy; Zoe Paraskevopoulou; Clément Pit-Claudel; Jonathan Protzenko; Tahina Ramananandro; Aseem Rastogi; et al. (ESOP, 2019)

Dijkstra monads for all. - Kenji Maillard; Danel Ahman; Robert Atkey; Guido Martínez; Catalin Hritcu; Exequiel Rivas; Éric Tanter (Proc. ACM Program. Lang., 2019)

Runners in Action. - Danel Ahman; Andrej Bauer (ESOP, 2020)

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. - Nikhil Swamy; Aseem Rastogi; Aymeric Fromherz; Denis Merigoux; Danel Ahman; Guido Martínez (Proc. ACM Program. Lang., 2020)

Scalable Handling of Effects (Dagstuhl Seminar 21292). - Danel Ahman; Amal Ahmed 001; Sam Lindley; Andreas Rossberg (Dagstuhl Reports, 2021)

Asynchronous effects. - Danel Ahman; Matija Pretnar (Proc. ACM Program. Lang., 2021)

When Programs Have to Watch Paint Dry. - Danel Ahman (FoSSaCS, 2023)

Higher-Order Asynchronous Effects. - Danel Ahman; Matija Pretnar (Log. Methods Comput. Sci., 2024)

Comodule representations of second-order functionals. - Danel Ahman; Andrej Bauer (J. Log. Algebraic Methods Program., 2025)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F. - Cezar-Constantin Andrici; Danel Ahman; Catalin Hritcu; Ruxandra Icleanu; Guido Martínez; Exequiel Rivas; Théo Winterhalter (CoRR, 2025)

A simple formalization of alpha-equivalence. - Kalmer Apinis; Danel Ahman (CoRR, 2025)