Danel Ahman

Cited by

	All	Since 2018
Citations	442	347
h-index	14	12
i10-index	16	15

120

2012201320142015201620172018201920202021202220234 8 15 8 13 45 21 47 63 77 113 24

Public access

View all

5 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
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Nick GiannarakisAmazon Web ServicesVerified email at wisc.edu
Éric TanterProfessor of Computer Science, University of ChileVerified email at dcc.uchile.cl
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Clément Pit-ClaudelEPFLVerified email at epfl.ch
Monal NarasimhamurthyUniversity of Colorado BoulderVerified email at colorado.edu
James ChapmanIOGVerified email at iohk.io
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Denis MerigouxInriaVerified email at inria.fr
Andrej BauerUniversity of LjubljanaVerified email at andrej.com
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Marko KäärameesAssociate Professor of Computer Science, Tallinn University of TechnologyVerified email at ttu.ee
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk

Danel Ahman

PostDoc, Faculty of Mathematics and Physics, University of Ljubljana

Verified email at fmf.uni-lj.si - 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	66	2017
Dijkstra monads for all K Maillard, D Ahman, R Atkey, G Martínez, C Hritcu, E Rivas, É Tanter arXiv preprint arXiv:1903.01237, 2019	49	2019
Meta-F: Proof Automation with SMT, Tactics, and Metaprograms G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ... Programming Languages and Systems: 28th European Symposium on Programming …, 2019	38	2019
Dependent types and fibred computational effects D Ahman, N Ghani, GD Plotkin Foundations of Software Science and Computation Structures: 19th …, 2016	31	2016
When is a container a comonad? D Ahman, J Chapman, T Uustalu 15th International Conference on Foundations of Software Science and …, 2012	30	2012
Update Monads: Cointerpreting Directed Containers D Ahman, T Uustalu 19th Meeting "Types for Proofs and Programs", TYPES 2013, 2013	27	2013
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. N Swamy, A Rastogi, A Fromherz, D Merigoux, D Ahman, G Martínez Proc. ACM Program. Lang. 4 (ICFP), 121:1-121:30, 2020	24	2020
Normalization by evaluation and algebraic effects D Ahman, S Staton 29th Conference on Mathematical Foundations of Programming Semantics, MFPS 2013, 2013	22	2013
Handling fibred algebraic effects D Ahman Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	21	2017
Runners in action D Ahman, A Bauer Programming Languages and Systems: 29th European Symposium on Programming …, 2020	20	2020
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	19	2017
Asynchronous effects D Ahman, M Pretnar Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021	16	2021
Directed containers as categories D Ahman, T Uustalu arXiv preprint arXiv:1604.01187, 2016	16	2016
Coalgebraic Update Lenses D Ahman, T Uustalu Electronic Notes in Theoretical Computer Science 308, 25-48, 2014	15	2014
Taking Updates Seriously D Ahman, T Uustalu 6th International Workshop on Bidirectional Transformations, BX 2017, 2017	14	2017
Fibred Computational Effects D Ahman University of Edinburgh, 2017	13	2017
Distributive laws of directed containers D AHMAN, T UUSTALU Progress in Informatics 10, 3-18, 2013	7	2013
Refinement Types for Algebraic Effects D Ahman, GD Plotkin 21st International Conference on Types for Proofs and Programs, TYPES 2015 …, 2015	5	2015
Refinement Types and Algebraic Effects D Ahman 2nd Workshop on Higher-Order Programming with Effects, HOPE 2013, 2013	5	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	3	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