Danel Ahman
TitleCited byYear
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
15th International Conference on Foundations of Software Science and …, 2012
212012
Dependent types and fibred computational effects
D Ahman, N Ghani, GD Plotkin
International Conference on Foundations of Software Science and Computation …, 2016
172016
Update Monads: Cointerpreting Directed Containers
D Ahman, T Uustalu
Book of abstracts of the 19th Meeting "Types for Proofs and Programs", TYPES …, 2013
152013
Dijkstra monads for free
D Ahman, C Hriţcu, K Maillard, G Martínez, G Plotkin, J Protzenko, ...
ACM SIGPLAN Notices 52 (1), 515-529, 2017
132017
Normalization by evaluation and algebraic effects
D Ahman, S Staton
29th Conference on Mathematical Foundations of Programming Semantics, MFPS 2013, 2013
132013
Coalgebraic Update Lenses
D Ahman, T Uustalu
Electronic Notes in Theoretical Computer Science 308, 25-48, 2014
82014
Distributive laws of directed containers
D AHMAN, T UUSTALU
Progress in Informatics 10, 3-18, 2013
62013
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), 65, 2017
3*2017
Refinement Types for Algebraic Effects
D Ahman, GD Plotkin
21st International Conference on Types for Proofs and Programs, TYPES 2015 …, 2015
32015
Refinement Types and Algebraic Effects
D Ahman
2nd Workshop on Higher-Order Programming with Effects, HOPE 2013, 2013
32013
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
32012
Computational effects, algebraic theories and normalization by evaluation
D Ahman
University of Cambridge, 2012
32012
Handling fibred algebraic effects
D Ahman
Proceedings of the ACM on Programming Languages 2 (POPL), 7, 2017
22017
Fibred Computational Effects
D Ahman
University of Edinburgh, 2017
22017
Directed containers as categories
D Ahman, T Uustalu
arXiv preprint arXiv:1604.01187, 2016
12016
When is a container a comonad?
T Uustalu, J Chapman, D Ahman
Logical Methods in Computer Science 10, 2014
12014
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier
G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ...
arXiv preprint arXiv:1803.06547, 2018
2018
Taking Updates Seriously
D Ahman, T Uustalu
6th International Workshop on Bidirectional Transformations, BX 2017, 2017
2017
Algebraic foundations for refinement types in effectful programming languages
D Ahman
2013
The system can't perform the operation now. Try again later.
Articles 1–19