Concepedia

Danel Ahman

DA

6

Publications

123

Citations

6

H-Index

2013

Active since

Affiliations

University of Edinburgh(Current)

State Key Laboratory of Cryptology

Tallinn University of Technology

Microsoft Research (United Kingdom)

Microsoft (United States)

Danel Ahman is an author at University of Edinburgh specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisFormal VerificationVerificationSoftware AnalysisMathematical ProgrammingCompilers

Publications per year

2013–2020

6

Publications

6

Dijkstra monads for free

Danel Ahman, Cătălin Hriţcu, Kenji Maillard et al. · 2016 · 44 citations · Full text

Mathematical Programming, Programming Language Theory, Engineering +14

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz et al. · Proceedings of the ACM on Programming Languages · 2020 · 26 citations · Full text

Program Logics, Engineering, Extensible Csl +19

When is a container a comonad?

Danel Ahman, James Chapman, Tarmo Uustalu · Logical Methods in Computer Science · 2014 · 16 citations · Full text

Food Packaging, Engineering, Language Agda +16

Handling fibred algebraic effects

Danel Ahman · Proceedings of the ACM on Programming Languages · 2017 · 15 citations · Full text

Engineering, Algebraic Structure, Type Theory +16

Normalization by Evaluation and Algebraic Effects

Danel Ahman, Sam Staton · Electronic Notes in Theoretical Computer Science · 2013 · 12 citations · Full text

Mathematical Programming, Engineering, Type Theory +16

Rows per page

1–5 of 6