Danel Ahman

According to our database, Danel Ahman authored at least 24 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Higher-Order Asynchronous Effects.

Danel Ahman, Matija Pretnar

Log. Methods Comput. Sci., 2024

2023

When Programs Have to Watch Paint Dry.

Danel Ahman

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2021

Asynchronous effects.

Danel Ahman, Matija Pretnar

Proc. ACM Program. Lang., 2021

Scalable Handling of Effects (Dagstuhl Seminar 21292).

Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg

Dagstuhl Reports, 2021

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

Runners in Action.

Danel Ahman, Andrej Bauer

Proceedings of the Programming Languages and Systems, 2020

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

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, Nikhil Swamy

Proceedings of the Programming Languages and Systems, 2019

Decomposing Comonad Morphisms.

Danel Ahman, Tarmo Uustalu

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

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

Handling fibred algebraic effects.

Danel Ahman

Proc. ACM Program. Lang., 2018

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, Nikhil Swamy

CoRR, 2018

2017

Fibred computational effects

Danel Ahman

PhD thesis, 2017

Fibred Computational Effects.

Danel Ahman

CoRR, 2017

Dijkstra monads for free.

Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Taking Updates Seriously.

Danel Ahman, Tarmo Uustalu

Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017

2016

Directed Containers as Categories.

Danel Ahman, Tarmo Uustalu

Proceedings of the Proceedings 6th Workshop on Mathematically Structured Functional Programming, 2016

Dijkstra Monads for Free.

Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy

CoRR, 2016

Dependent Types and Fibred Computational Effects.

Danel Ahman, Neil Ghani, Gordon D. Plotkin

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2014

Coalgebraic Update Lenses.

Danel Ahman, Tarmo Uustalu

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

When is a container a comonad?

Danel Ahman, James Chapman, Tarmo Uustalu

Log. Methods Comput. Sci., 2014

2013

Normalization by Evaluation and Algebraic Effects.

Danel Ahman, Sam Staton

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Update Monads: Cointerpreting Directed Containers.

Danel Ahman, Tarmo Uustalu

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

2012

Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs

Danel Ahman, Marko Kääramees

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012