C. Flanagan
发表
J. Saxe,
R. Joshi,
C. Flanagan,
2004
.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2004,
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Xinming Ou,
Cormac Flanagan,
Rajeev Joshi,
2003,
CAV.
Matthew B. Dwyer,
Gary T. Leavens,
Cormac Flanagan,
2005,
ECOOP.
K. Rustan M. Leino,
Cormac Flanagan,
C. Flanagan,
2001,
FME.
Amr Sabry,
Matthias Felleisen,
Cormac Flanagan,
1993,
PLDI '93.
Sanjit A. Seshia,
Stephen N. Freund,
Cormac Flanagan,
2005,
Theor. Comput. Sci..
Stephen N. Freund,
C. Flanagan,
S. Freund,
2006
.
Stephen N. Freund,
C. Flanagan,
S. Freund,
2009,
PLDI '09.
C. Flanagan,
Tim Disney,
2011
.
C. Flanagan,
M. Felleisen,
B. Duba,
2004,
SIGP.
Cormac Flanagan,
Shaz Qadeer,
S. Qadeer,
2002
.
Thomas H. Austin,
C. Flanagan,
2014
.
C. Flanagan,
Dustin Rhodes,
2017
.
C. Flanagan,
Kenneth Knowles,
2008
.
Mark Lillibridge,
K. Rustan M. Leino,
Raymie Stata,
2013,
SIGP.
J. Saxe,
C. Flanagan,
K. Leino,
2002,
PLDI '02.
C. Flanagan,
2003
.
C. Flanagan,
M. Felleisen,
Stephanie Weirich,
1996,
PLDI.
C. Flanagan,
M. Felleisen,
1999,
PLDI '97.
Cormac Flanagan,
Shaz Qadeer,
S. Qadeer,
2003,
PLDI '03.
Stephen N. Freund,
C. Flanagan,
2007
.
Cormac Flanagan,
C. Flanagan,
2009
.
Thomas H. Austin,
Alan Jeffrey,
Cormac Flanagan,
2011
.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1994
.
Cormac Flanagan,
Jean-christophe Filliatre,
J. Filliâtre,
2010,
PLPV.
Michael Y. Levin,
C. Flanagan,
2001
.
Cormac Flanagan,
C. Flanagan,
2005
.
Patrice Godefroid,
Cormac Flanagan,
C. Flanagan,
2005,
POPL '05.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1996,
PLDI.
Cormac Flanagan,
C. Flanagan,
2012
.
Barbara König,
Cormac Flanagan,
C. Flanagan,
2012,
Lecture Notes in Computer Science.
C. Flanagan,
2017
.
Stephen N. Freund,
C. Flanagan,
Caitlin Sadowski,
2022
.
Andreas Zeller,
Cormac Flanagan,
C. Flanagan,
2004,
PASTE.
C. Flanagan,
Kenneth Knowles,
2007
.
Stephen N. Freund,
S. Qadeer,
C. Flanagan,
2004
.
Stephen N. Freund,
Cormac Flanagan,
Shaz Qadeer,
2002,
ESOP.
Patrice Godefroid,
Cormac Flanagan,
C. Flanagan,
2005,
POPL '05.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2009,
PLDI '09.
Stephen N. Freund,
Cormac Flanagan,
Jaeheon Yi,
2008,
PLDI '08.
Cormac Flanagan,
Shaz Qadeer,
S. Qadeer,
2002,
POPL '02.
Martín Abadi,
Cormac Flanagan,
M. Abadi,
1999,
ESOP.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1994
.
Stephen N. Freund,
Cormac Flanagan,
James R. Wilcox,
2018,
PPoPP.
Stephen N. Freund,
Cormac Flanagan,
Dustin Rhodes,
2017,
PLDI.
Kenneth Knowles,
Cormac Flanagan,
C. Flanagan,
2007,
ESOP.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1997,
TOPL.
Cormac Flanagan,
C. Flanagan,
1997
.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1996
.
Armando Solar-Lezama,
Stephen Chong,
Thomas H. Austin,
2015,
ArXiv.
Armando Solar-Lezama,
Thomas H. Austin,
Cormac Flanagan,
2013,
PLAS '13.
Cormac Flanagan,
Tim Disney,
Jay McCarthy,
2011,
ICFP.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2010,
PASTE '10.
Leonid Ryzhyk,
Thomas Schmitz,
Shmuel Sagiv,
2018,
Proc. ACM Program. Lang..
Cormac Flanagan,
C. Flanagan,
2004,
Sci. Comput. Program..
Cormac Flanagan,
C. Flanagan,
2003,
ESOP.
Cormac Flanagan,
C. Flanagan,
2004,
SPIN.
Cormac Flanagan,
Shaz Qadeer,
S. Qadeer,
2003,
PLDI.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1995,
POPL '95.
Yannis Smaragdakis,
Cormac Flanagan,
Caitlin Sadowski,
2012,
POPL '12.
Stephen N. Freund,
Cormac Flanagan,
Tim Disney,
2012,
ISSTA 2012.
Stephen N. Freund,
Cormac Flanagan,
Marina Lifshin,
2005,
TLDI '05.
Cormac Flanagan,
Shaz Qadeer,
S. Qadeer,
2003,
TLDI '03.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2000,
PLDI '00.
Cormac Flanagan,
Tim Disney,
Christopher Schuster,
2016,
ESOP.
Martín Abadi,
Stephen N. Freund,
Cormac Flanagan,
2006,
TOPL.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2004,
Sci. Comput. Program..
Cormac Flanagan,
C. Flanagan,
2006,
POPL '06.
Cormac Flanagan,
Shaz Qadeer,
S. Qadeer,
2003,
SoftMC@CAV.
Cormac Flanagan,
James B. Saxe,
J. Saxe,
2001,
POPL '01.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
2002,
J. Funct. Program..
Sanjit A. Seshia,
Cormac Flanagan,
Shaz Qadeer,
2002,
CAV.
Matthias Felleisen,
Matthew Flatt,
Shriram Krishnamurthi,
1996,
PLDI '96.
Cormac Flanagan,
Shaz Qadeer,
S. Qadeer,
2003,
SPIN.
Cormac Flanagan,
David Herman,
C. Flanagan,
2007,
ML '07.
Thomas H. Austin,
Thomas Schmitz,
Cormac Flanagan,
2017,
ACM Trans. Program. Lang. Syst..
Armando Solar-Lezama,
Stephen Chong,
Thomas H. Austin,
2015,
PLDI.
Matthias Felleisen,
Robert Bruce Findler,
Cormac Flanagan,
2011,
POPL '11.
Cormac Flanagan,
David Herman,
Aaron Tomb,
2010,
High. Order Symb. Comput..
Cormac Flanagan,
Maximilian Algehed,
C. Flanagan,
2021,
ArXiv.
Thomas H. Austin,
C. Flanagan,
2009,
SIGP.
Thomas H. Austin,
Cormac Flanagan,
C. Flanagan,
2009,
PLAS '09.
Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
1997,
PLILP.
Cormac Flanagan,
Rishiyur S. Nikhil,
R. Nikhil,
1996,
ICFP '96.
Stephen N. Freund,
Cormac Flanagan,
Kenneth Knowles,
2007
.
Stephen N. Freund,
Cormac Flanagan,
Kenneth Knowles,
2006
.
Cormac Flanagan,
Maximilian Algehed,
C. Flanagan,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Alejandro Russo,
Cormac Flanagan,
Maximilian Algehed,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Alejandro Russo,
Thomas Schmitz,
Cormac Flanagan,
2018,
CCS.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2020,
Proc. ACM Program. Lang..
Stephen N. Freund,
Cormac Flanagan,
Shaz Qadeer,
2004,
IEEE Transactions on Software Engineering.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1995
.
Stephen N. Freund,
S. Qadeer,
C. Flanagan,
2008,
TOPL.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2013,
ECOOP.
Cormac Flanagan,
Caitlin Sadowski,
Jaeheon Yi,
2009,
PADTAD '09.
Amr Sabry,
Matthias Felleisen,
Cormac Flanagan,
1993,
PLDI 1993.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2001,
PASTE '01.
Cormac Flanagan,
Christopher Schuster,
C. Flanagan,
2016
.
Matthias Felleisen,
Cormac Flanagan,
C. Flanagan,
1999,
Journal of Functional Programming.