Follow
Danel Ahman
Title
Cited by
Cited by
Year
Dijkstra monads for free
D Ahman, C Hriþcu, K Maillard, G Martínez, G Plotkin, J Protzenko, ...
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
782017
Dijkstra monads for all
K Maillard, D Ahman, R Atkey, G Martínez, C Hriþcu, E Rivas, É Tanter
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
652019
Meta-F: Proof Automation with SMT, Tactics, and Metaprograms
G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ...
European Symposium on Programming, 30-59, 2019
492019
Dependent types and fibred computational effects
D Ahman, N Ghani, GD Plotkin
International Conference on Foundations of Software Science and Computation …, 2016
332016
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
15th International Conference on Foundations of Software Science and …, 2012
332012
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs
N Swamy, A Rastogi, A Fromherz, D Merigoux, D Ahman, G Martínez
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
312020
Update Monads: Cointerpreting Directed Containers
D Ahman, T Uustalu
19th Meeting "Types for Proofs and Programs", TYPES 2013, 2013
262013
Runners in action
D Ahman, A Bauer
European Symposium on Programming, 29-55, 2020
252020
Handling fibred algebraic effects
D Ahman
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
252017
Directed containers as categories
D Ahman, T Uustalu
arXiv preprint arXiv:1604.01187, 2016
242016
Normalization by evaluation and algebraic effects
D Ahman, S Staton
29th Conference on Mathematical Foundations of Programming Semantics, MFPS 2013, 2013
242013
Recalling a witness: foundations and applications of monotonic state
D Ahman, C Fournet, C Hriþcu, K Maillard, A Rastogi, N Swamy
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
212017
Taking Updates Seriously
D Ahman, T Uustalu
6th International Workshop on Bidirectional Transformations, BX 2017, 2017
212017
Asynchronous effects
D Ahman, M Pretnar
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
182021
Coalgebraic Update Lenses
D Ahman, T Uustalu
Electronic Notes in Theoretical Computer Science 308, 25-48, 2014
162014
Fibred Computational Effects
D Ahman
University of Edinburgh, 2017
142017
Refinement Types for Algebraic Effects
D Ahman, GD Plotkin
21st International Conference on Types for Proofs and Programs, TYPES 2015 …, 2015
62015
Refinement Types and Algebraic Effects
D Ahman
2nd Workshop on Higher-Order Programming with Effects, HOPE 2013, 2013
62013
Distributive laws of directed containers
D AHMAN, T UUSTALU
Progress in Informatics 10, 3-18, 2013
62013
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs
D Ahman, M Kääramees
7th Workshop on Model-Based Testing, MBT 2012, 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20