Danel Ahman
发表
Marko Kääramees,
Danel Ahman,
2012,
MBT.
Danel Ahman,
2018,
Proc. ACM Program. Lang..
Tarmo Uustalu,
Danel Ahman,
Tarmo Uustalu,
2013
.
Matija Pretnar,
Danel Ahman,
2021,
Proc. ACM Program. Lang..
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
ArXiv.
Tarmo Uustalu,
Danel Ahman,
2014,
MFPS.
Danel Ahman,
2017,
ArXiv.
Robert Atkey,
Exequiel Rivas,
Catalin Hritcu,
2019,
Proc. ACM Program. Lang..
Tarmo Uustalu,
James Chapman,
Danel Ahman,
2012,
FoSSaCS.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020,
Proc. ACM Program. Lang..
Andrej Bauer,
Danel Ahman,
2020,
ESOP.
Sam Staton,
Danel Ahman,
S. Staton,
2013,
MFPS.
Gordon D. Plotkin,
Neil Ghani,
Danel Ahman,
2016,
FoSSaCS.
Tarmo Uustalu,
Danel Ahman,
2013
.
Nikhil Swamy,
Cédric Fournet,
Catalin Hritcu,
2017,
Proc. ACM Program. Lang..
Tarmo Uustalu,
Danel Ahman,
Tarmo Uustalu,
2017,
BX@ETAPS.
Tarmo Uustalu,
Danel Ahman,
Tarmo Uustalu,
2016,
MSFP.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020
.
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
Ralph Matthes,
Gilles Barthe,
Gustavo Betarte,
2014,
TYPES.
Nikhil Swamy,
Catalin Hritcu,
Jonathan Protzenko,
2016,
POPL.
Danel Ahman,
Hughes Hall,
2012
.
Tarmo Uustalu,
James Chapman,
Danel Ahman,
2012,
Log. Methods Comput. Sci..
Tarmo Uustalu,
Danel Ahman,
Tarmo Uustalu,
2013,
TYPES.