D. Ahman
发表
A. Bauer,
D. Ahman,
Danel Ahman,
2019,
ESOP.
D. Ahman,
2022,
ArXiv.
Robert Atkey,
Exequiel Rivas,
Catalin Hritcu,
2019,
Proc. ACM Program. Lang..
Ralph Matthes,
Gilles Barthe,
Gustavo Betarte,
2014,
TYPES.
D. Ahman,
Danel Ahman,
2022,
FoSSaCS.
Sam Staton,
Danel Ahman,
S. Staton,
2013,
MFPS.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020,
Proc. ACM Program. Lang..
Nikhil Swamy,
Cédric Fournet,
Catalin Hritcu,
2017,
Proc. ACM Program. Lang..