Danel Ahman
Danel Ahman
Marie Skłodowska-Curie Research Fellow, University of Ljubljana
Verified email at fmf.uni-lj.si - Homepage
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
372017
Dependent types and fibred computational effects
D Ahman, N Ghani, GD Plotkin
International Conference on Foundations of Software Science and Computation …, 2016
262016
When is a container a comonad?
D Ahman, J Chapman, T Uustalu
15th International Conference on Foundations of Software Science and …, 2012
262012
Update Monads: Cointerpreting Directed Containers
D Ahman, T Uustalu
19th Meeting "Types for Proofs and Programs", TYPES 2013, 2013
202013
Normalization by evaluation and algebraic effects
D Ahman, S Staton
29th Conference on Mathematical Foundations of Programming Semantics, MFPS 2013, 2013
142013
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
122019
Dijkstra monads for all
K Maillard, D Ahman, R Atkey, G Martínez, C Hritcu, E Rivas, É Tanter
arXiv preprint arXiv:1903.01237, 2019
122019
Handling fibred algebraic effects
D Ahman
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
112017
Recalling a witness: foundations and applications of monotonic state
D Ahman, C Fournet, C Hritcu, K Maillard, A Rastogi, N Swamy
arXiv preprint arXiv:1707.02466, 2017
112017
Coalgebraic Update Lenses
D Ahman, T Uustalu
Electronic Notes in Theoretical Computer Science 308, 25-48, 2014
112014
Fibred Computational Effects
D Ahman
University of Edinburgh, 2017
72017
Distributive laws of directed containers
D AHMAN, T UUSTALU
Progress in Informatics 10, 3-18, 2013
72013
Refinement Types for Algebraic Effects
D Ahman, GD Plotkin
21st International Conference on Types for Proofs and Programs, TYPES 2015 …, 2015
52015
Refinement Types and Algebraic Effects
D Ahman
2nd Workshop on Higher-Order Programming with Effects, HOPE 2013, 2013
52013
Taking Updates Seriously
D Ahman, T Uustalu
6th International Workshop on Bidirectional Transformations, BX 2017, 2017
42017
Runners in action
D Ahman, A Bauer
European Symposium on Programming, 29-55, 2020
32020
Directed containers as categories
D Ahman, T Uustalu
arXiv preprint arXiv:1604.01187, 2016
32016
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
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
22020
The system can't perform the operation now. Try again later.
Articles 1–20