Amal Ahmed
发表
Matthias Blume,
Amal Ahmed,
Matthias Blume,
2008,
ICFP 2008.
Amal Ahmed,
2015,
SNAPL.
Lars Birkedal,
J. Gregory Morrisett,
Aleksandar Nanevski,
2007,
ESOP.
Amal Ahmed,
Amal J. Ahmed,
2006,
ESOP.
James Cheney,
Umut A. Acar,
Amal Ahmed,
2008,
ArXiv.
Andrew W. Appel,
Gang Tan,
Christopher D. Richards,
2010,
TOPL.
Daniel R. Licata,
Max S. New,
Amal Ahmed,
2018,
ArXiv.
Aaron Weiss,
Amal Ahmed,
Nicholas D. Matsakis,
2019,
ArXiv.
David Walker,
Limin Jia,
Amal Ahmed,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Martin Hofmann,
Nick Benton,
J. Gregory Morrisett,
2008,
Types, Logics and Semantics for State.
Amal Ahmed,
A. Ahmed,
Amal J. Ahmed,
2004
.
James Cheney,
Umut A. Acar,
Amal Ahmed,
2014,
PPDP '14.
J. Gregory Morrisett,
Matthew Fluet,
Amal Ahmed,
2005,
ICFP '05.
Amal Ahmed,
Amal Ahmed,
2010,
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming.
Max S. New,
Amal Ahmed,
Gabriel Scherer,
2018,
FoSSaCS.
Andrew Kennedy,
Amal Ahmed,
2009,
POPL 2009.
Philip Wadler,
Robert Bruce Findler,
Amal Ahmed,
2009,
ECOOP 2009.
Martin Hofmann,
Lars Birkedal,
Nick Benton,
2010,
Modelling, Controlling and Reasoning About State.
J. Gregory Morrisett,
Matthew Fluet,
Amal Ahmed,
2007,
Fundam. Informaticae.
Amal Ahmed,
Daniel Patterson,
Daniel Patterson,
2017,
SNAPL.
Matthias Blume,
Amal Ahmed,
2011,
ICFP '11.
Amal Ahmed,
William J. Bowman,
Youyou Cong,
2017,
Proc. ACM Program. Lang..
Andrew Kennedy,
Amal Ahmed,
A. Kennedy,
2009,
TLDI.
Max S. New,
Amal Ahmed,
William J. Bowman,
2016,
ICFP.
Amal Ahmed,
William J. Bowman,
Amal J. Ahmed,
2015,
ICFP.
Amal Ahmed,
Daniel Patterson,
A. Ahmed,
2019,
Proc. ACM Program. Lang..
James Cheney,
Umut A. Acar,
Roly Perera,
2013,
J. Comput. Secur..
Umut A. Acar,
Matthias Blume,
Amal Ahmed,
2008,
POPL '08.
Max S. New,
Amal Ahmed,
2018,
Proc. ACM Program. Lang..
Aaron Weiss,
Amal Ahmed,
Daniel Patterson,
2018,
ArXiv.
J. Gregory Morrisett,
Matthew Fluet,
Amal Ahmed,
2006,
ESOP.
Amal Ahmed,
2016,
FSCD.
Lars Birkedal,
Derek Dreyer,
Amal Ahmed,
2009,
LICS.
Amal Ahmed,
Daniel Patterson,
Christos Dimoulas,
2017,
PLDI.
Martin Hofmann,
Lars Birkedal,
Nick Benton,
2010,
Modelling, Controlling and Reasoning About State.
Frank Piessens,
Catalin Hritcu,
Deepak Garg,
2018,
Dagstuhl Reports.
Lars Birkedal,
Derek Dreyer,
Amal Ahmed,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Philip Wadler,
Robert Bruce Findler,
Jeremy G. Siek,
2011,
POPL '11.
Amal Ahmed,
2020,
ACM Trans. Program. Lang. Syst..
James Cheney,
Umut A. Acar,
Roly Perera,
2012,
POST.
Matthias Blume,
Amal Ahmed,
Matthias Blume,
2008,
ICFP.
Amal Ahmed,
Jacob Matthews,
2008,
ESOP.
James Cheney,
Umut A. Acar,
Amal Ahmed,
2007,
Mathematical Structures in Computer Science.
Martin Hofmann,
Nick Benton,
J. Gregory Morrisett,
2008,
Types, Logics and Semantics for State.
Amal Ahmed,
William J. Bowman,
A. Ahmed,
2018,
PLDI.
David Walker,
Amal Ahmed,
D. Walker,
2003,
TLDI '03.
Amal Ahmed,
Dustin Jamner,
Max S. New,
2020,
Proc. ACM Program. Lang..
Amal Ahmed,
James T. Perconti,
2014,
ESOP.
Amal Ahmed,
2012
.
James Cheney,
Umut A. Acar,
Amal Ahmed,
2007,
DBPL.
Jan Vitek,
Amal Ahmed,
Ming-Ho Yee,
2017,
Proc. ACM Program. Lang..
Philip Wadler,
Jeremy G. Siek,
Amal Ahmed,
2017,
Proc. ACM Program. Lang..
Lars Birkedal,
Derek Dreyer,
Aaron Turon,
2013,
POPL.
Amal Ahmed,
Daniel Patterson,
Christos Dimoulas,
2017,
PLDI.
Derek Dreyer,
Amal Ahmed,
Andreas Rossberg,
2009,
POPL '09.
Daniel R. Licata,
Max S. New,
Amal Ahmed,
2019,
Proc. ACM Program. Lang..
Max S. New,
Amal Ahmed,
2018,
ArXiv.
Andrew W. Appel,
Roberto Virga,
Amal Ahmed,
2002,
LICS.
Matthew Fluet,
Amal Ahmed,
2007
.
Derek Dreyer,
Amal Ahmed,
Andreas Rossberg,
2008
.
Max S. New,
Amal Ahmed,
William J. Bowman,
2016
.