A. Kennedy
发表
B. Pierce,
A. Kennedy,
2006
.
Nick Benton,
Andrew Kennedy,
Nick Benton,
1999,
Electron. Notes Theor. Comput. Sci..
Andrew Kennedy,
Amal Ahmed,
A. Kennedy,
2009,
TLDI.
Dana S. Scott,
Nick Benton,
A. Kennedy,
2009,
TPHOLs.
A. Kennedy,
2015
.
Andrew Kennedy,
Don Syme,
A. Kennedy,
2004
.
A. Kennedy,
2004
.
Andrew Kennedy,
A. Kennedy,
2009,
CEFP.
Nick Benton,
Andrew Kennedy,
George Russell,
1998,
ICFP '98.
Martin Hofmann,
Nick Benton,
Andrew Kennedy,
2009,
PPDP '09.
Andrew John Kennedy,
A. Kennedy,
1995
.
Andrew Kennedy,
Claudio V. Russo,
A. Kennedy,
2005,
OOPSLA '05.
Andrew Kennedy,
Don Syme,
A. Kennedy,
2001,
PLDI '01.
Andrew Kennedy,
A. Kennedy,
1994,
ESOP.
Martin Hofmann,
Nick Benton,
Andrew Kennedy,
2016,
A List of Successes That Can Change the World.
Andrew Kennedy,
A. Kennedy,
2004,
J. Funct. Program..
Nick Benton,
Andrew Kennedy,
Jonas Braband Jensen,
2013,
POPL.
Antonio Cisternino,
Giuseppe Attardi,
Andrew Kennedy,
2003,
PEPM '03.
Nick Benton,
Andrew Kennedy,
Nick Benton,
2010,
ACM SIGPLAN International Workshop on Types In Languages Design And Implementation.
Dachuan Yu,
Andrew Kennedy,
Don Syme,
2004,
POPL.
Andrew Kennedy,
A. Kennedy,
2007,
ICFP '07.
Nick Benton,
Andrew Kennedy,
Nick Benton,
2001,
Journal of Functional Programming.
Dimitrios Vytiniotis,
A. Kennedy,
2012,
Journal of Functional Programming.
Dimitrios Vytiniotis,
Andrew J. Kennedy,
Dimitrios Vytiniotis,
2010,
ICFP '10.
Nick Benton,
Andrew Kennedy,
Bruce J. McAdam,
2000,
Scottish Functional Programming Workshop.
Lars Birkedal,
Nick Benton,
Andrew Kennedy,
2010
.
Andrew Kennedy,
A. Kennedy,
1997,
POPL '97.