Travelled to:1 × Estonia
Collaborated with:T.Uustalu ∅ C.Hritcu A.Rastogi N.Swamy J.Chapman K.Maillard G.Martínez J.Protzenko C.Fournet G.D.Plotkin V.Dumitrescu N.Giannarakis C.Hawblitzel M.Narasimhamurthy Z.Paraskevopoulou C.Pit-Claudel T.Ramananandro
Talks about:metaprogram (1) dijkstra (1) serious (1) monoton (1) foundat (1) contain (1) comonad (1) algebra (1) tactic (1) effect (1)
Person: Danel Ahman
DBLP: Ahman:Danel
Contributed to:
2012
2017
2019
20172018Wrote 6 papers:
- FoSSaCS-2012-AhmanCU #monad #question
- When Is a Container a Comonad? (DA, JC, TU), pp. 74–88.
- BX-2017-AhmanU
- Taking Updates Seriously (DA, TU), pp. 59–73.
- ESOP-2019-MartinezADGHHNP #automation #metaprogramming #proving #smt
- Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
- POPL-2017-AhmanHMMPPRS #for free #monad
- Dijkstra monads for free (DA, CH, KM, GM, GDP, JP, AR, NS), pp. 515–529.
- POPL-2018-Ahman #algebra
- Handling fibred algebraic effects (DA), p. 29.
- POPL-2018-AhmanFHMRS
- Recalling a witness: foundations and applications of monotonic state (DA, CF, CH, KM, AR, NS), p. 30.