Danel Ahman

Cited by

	All	Since 2019
Citations	581	466
h-index	15	13
i10-index	16	15

120

20122013201420152016201720182019202020212022202320242 9 14 8 14 46 19 50 70 75 106 84 80

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
Guido MartínezCIFASIS-CONICETVerified email at cifasis-conicet.gov.ar
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Nick GiannarakisAmazon Web ServicesVerified email at amazon.com
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Éric TanterProfessor of Computer Science, University of ChileVerified email at dcc.uchile.cl
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Clément Pit-ClaudelEPFLVerified email at epfl.ch
Zoe ParaskevopoulouEthereum FoundationVerified email at ethereum.org
Monal NarasimhamurthyUniversity of Colorado BoulderVerified email at colorado.edu
Andrej BauerUniversity of LjubljanaVerified email at andrej.com
James ChapmanIOG (IOHK)Verified email at iohk.io
Denis MerigouxInriaVerified email at inria.fr
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Marko KäärameesAssociate Professor of Computer Science, Tallinn University of TechnologyVerified email at ttu.ee

Danel Ahman

Institute of Computer Science, University of Tartu

Verified email at ut.ee - Homepage

Foundations of Computer Science Semantics Programming Languages Type Theory Category Theory


Title Sort by citations Sort by year Sort by 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	82	2017
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	69	2019
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	60	2019
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	38	2020
When is a container a comonad? D Ahman, J Chapman, T Uustalu 15th International Conference on Foundations of Software Science and …, 2012	38	2012
Dependent types and fibred computational effects D Ahman, N Ghani, GD Plotkin International Conference on Foundations of Software Science and Computation …, 2016	36	2016
Update Monads: Cointerpreting Directed Containers D Ahman, T Uustalu 19th Meeting "Types for Proofs and Programs", TYPES 2013, 2013	28	2013
Runners in action D Ahman, A Bauer European Symposium on Programming, 29-55, 2020	27	2020
Handling fibred algebraic effects D Ahman Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	27	2017
Normalization by evaluation and algebraic effects D Ahman, S Staton 29th Conference on Mathematical Foundations of Programming Semantics, MFPS 2013, 2013	26	2013
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	24	2017
Directed containers as categories D Ahman, T Uustalu arXiv preprint arXiv:1604.01187, 2016	24	2016
Taking Updates Seriously D Ahman, T Uustalu 6th International Workshop on Bidirectional Transformations, BX 2017, 2017	23	2017
Asynchronous effects D Ahman, M Pretnar Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021	22	2021
Coalgebraic Update Lenses D Ahman, T Uustalu Electronic Notes in Theoretical Computer Science 308, 25-48, 2014	16	2014
Fibred Computational Effects D Ahman University of Edinburgh, 2017	15	2017
Refinement Types for Algebraic Effects D Ahman, GD Plotkin 21st International Conference on Types for Proofs and Programs, TYPES 2015 …, 2015	7	2015
Refinement Types and Algebraic Effects D Ahman 2nd Workshop on Higher-Order Programming with Effects, HOPE 2013, 2013	7	2013
Distributive laws of directed containers D AHMAN, T UUSTALU Progress in Informatics 10, 3-18, 2013	6	2013
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	4	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors