A. Ahmed
发表
Matthias Blume,
Amal Ahmed,
Matthias Blume,
2008,
ICFP.
Jeremy G. Siek,
James T. Perconti,
P. Wadler,
2014
.
Andrew Kennedy,
Amal Ahmed,
A. Kennedy,
2009,
TLDI.
Matthias Blume,
Amal Ahmed,
Matthias Blume,
2008,
ICFP 2008.
Amal Ahmed,
William J. Bowman,
A. Ahmed,
2018,
PLDI.
A. Ahmed,
W. Bowman,
2018,
PLDI.
Matthias Blume,
A. Ahmed,
2007
.
Umut A. Acar,
J. Cheney,
A. Ahmed,
2018
.
Nick Benton,
Martin Hofmann,
Greg Morrisett,
2008,
Types, Logics and Semantics for State.
Martin Hofmann,
Lars Birkedal,
Nick Benton,
2010
.
Amal Ahmed,
A. Ahmed,
Amal J. Ahmed,
2004
.
Andrew W. Appel,
Roberto Virga,
Amal Ahmed,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Amal Ahmed,
Daniel Patterson,
Christos Dimoulas,
2017,
PLDI.
Aaron Weiss,
Amal Ahmed,
Nicholas D. Matsakis,
2019,
ArXiv.
James Cheney,
Umut A. Acar,
Amal Ahmed,
2014,
PPDP '14.
J. Gregory Morrisett,
Matthew Fluet,
Amal Ahmed,
2006,
ESOP.
J. Gregory Morrisett,
Matthew Fluet,
Amal Ahmed,
2007,
Fundam. Informaticae.
John M. Li,
A. Ahmed,
Steven Holtzen,
2023,
Proc. ACM Program. Lang..
David Walker,
Amal Ahmed,
D. Walker,
2003,
TLDI '03.
Amal Ahmed,
Daniel Patterson,
A. Ahmed,
2019,
Proc. ACM Program. Lang..
Umut A. Acar,
Matthias Blume,
Amal Ahmed,
2008,
POPL '08.