James McKinna
发表
Robert Atkey,
Conor McBride,
James Chapman,
2018,
Journal of Functional Programming.
Conor McBride,
James McKinna,
Conor McBride,
2004,
Haskell '04.
Steven Bradley,
Derek Long,
James McKinna,
2001
.
James McKinna,
Lionel Mamane,
J. H. Geuvers,
2009
.
Conor McBride,
James McKinna,
Conor McBride,
2004,
Journal of Functional Programming.
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2010,
Log. Methods Comput. Sci..
Herman Geuvers,
Robbert Krebbers,
James McKinna,
2013,
Ann. Pure Appl. Log..
James McKinna,
2016
.
James McKinna,
L. S. van Benthem Jutting,
Robert Pollack,
1994,
TYPES.
James McKinna,
Fredrik Nordvall Forsberg,
2015
.
Herman Geuvers,
Freek Wiedijk,
James McKinna,
2010,
AISC'10/MKM'10/Calculemus'10.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2015,
Bx@STAF.
James McKinna,
Robert Pollack,
R. Pollack,
1997,
Journal of Automated Reasoning.
Jeremy Gibbons,
James McKinna,
Faris Abou-Saleh,
2014
.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2014,
EDBT/ICDT Workshops.
James McKinna,
Robert Pollack,
1993,
TLCA.
Christian Urban,
Peter Chapman,
James McKinna,
2008,
AISC/MKM/Calculemus.
Robert Atkey,
James Chapman,
Conor McBride,
2018
.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2018,
Bidirectional Transformations.
James McKinna,
2016,
Bx@ETAPS.
Perdita Stevens,
James McKinna,
2016,
Bx@ETAPS.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2017,
J. Object Technol..
Conor McBride,
James McKinna,
Healfdene Goguen,
2004,
TYPES.
James McKinna,
Eelis van der Weegen,
James McKinna,
2009,
TYPES.
Zhaohui Luo,
James McKinna,
Paul Callaghan,
2002
.
Conor McBride,
Guillaume Allais,
James McKinna,
2017
.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2014,
EDBT/ICDT Workshops.
James McKinna,
J. McKinna,
2006,
POPL '06.
Zhaohui Luo,
James McKinna,
Paul Callaghan,
2002,
Lecture Notes in Computer Science.
Conor McBride,
James McKinna,
Healfdene Goguen,
2006,
Essays Dedicated to Joseph A. Goguen.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2015,
MPC.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2016
.
Herman Geuvers,
James McKinna,
Carst Tankink,
2012,
Electron. Notes Theor. Comput. Sci..
Herman Geuvers,
Robbert Krebbers,
Freek Wiedijk,
2010,
LFMTP.
James McKinna,
Robert Pollack,
1997
.
James McKinna,
2016,
Bx@ETAPS.
Conor McBride,
James Chapman,
Guillaume Allais,
2017,
CPP.
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2006,
CSL.
Conor McBride,
Edwin Brady,
James McKinna,
2003,
TYPES.
Edwin Brady,
Kevin Hammond,
James McKinna,
2006
.
Ian Stark,
James McKinna,
Craig McLaughlin,
2018,
CPP.
Jeremy Gibbons,
James McKinna,
Faris Abou-Saleh,
2015,
Bx@STAF.
James McKinna,
Carst Tankink,
2011,
MathWikis@ITP.
Conor McBride,
James McKinna,
Adam Gundry,
2010,
MSFP '10.
J. Garrett Morris,
James McKinna,
J. McKinna,
2019,
Proc. ACM Program. Lang..
Rod M. Burstall,
James McKinna,
R. Burstall,
1993,
MFCS.
Perdita Stevens,
James McKinna,
2016
.
Zhaohui Luo,
James McKinna,
Paul Callaghan,
2000
.
Christian Urban,
Peter Chapman,
James McKinna,
2008
.
Herman Geuvers,
James McKinna,
Lionel Elie Mamane,
2009,
Calculemus/MKM.
James McKinna,
2016
.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2016,
A List of Successes That Can Change the World.
Cezary Kaliszyk,
Herman Geuvers,
Pierre Corbineau,
2008,
SemWiki.
Edwin Brady,
Kevin Hammond,
James McKinna,
2007,
Trends in Functional Programming.
Saleem N. Bhatti,
Edwin Brady,
Kevin Hammond,
2009,
2009 29th IEEE International Conference on Distributed Computing Systems Workshops.
Edwin Brady,
Kevin Hammond,
James McKinna,
2007,
Trends in Functional Programming.
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2006
.
Jeremy Gibbons,
James McKinna,
Faris Abou-Saleh,
2014
.
James McKinna,
2016
.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2014
.