J. McKinna
发表
J. McKinna,
2006
.
J. Garrett Morris,
P. Wadler,
J. McKinna,
2020
.
H. Geuvers,
R. Krebbers,
J. McKinna,
2013
.
H. Geuvers,
J. McKinna,
L. Mamane,
2020
.
J. Gibbons,
J. McKinna,
Faris Abou-Saleh,
2017
.
Edwin C. Brady,
J. McKinna,
K. Hammond,
2006
.
J. McKinna,
C. Tankink,
2019
.
Edwin C. Brady,
J. McKinna,
2005
.
F. Wiedijk,
R. Krebbers,
J. McKinna,
2017
.
Birthe van den Berg,
T. Schrijvers,
J. McKinna,
2022,
SSRN Electronic Journal.
Ornela Dardha,
J. McKinna,
Michel Steuwer,
2023,
ArXiv.
J. Garrett Morris,
James McKinna,
J. McKinna,
2019,
Proc. ACM Program. Lang..
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2010,
Log. Methods Comput. Sci..
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2006,
CSL.
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2006
.
Conor McBride,
James McKinna,
Conor McBride,
2004,
Haskell '04.
James McKinna,
Robert Pollack,
R. Pollack,
1997,
Journal of Automated Reasoning.
Conor McBride,
Edwin Brady,
James McKinna,
2003,
TYPES.
Herman Geuvers,
James McKinna,
Lionel Elie Mamane,
2009,
Calculemus/MKM.
Herman Geuvers,
Robbert Krebbers,
Freek Wiedijk,
2010,
LFMTP.
Christian Urban,
Peter Chapman,
James McKinna,
2008,
AISC/MKM/Calculemus.
J. P. Boender,
R. M. Amadio,
N. Ayache,
2013,
FOPARA.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2016,
A List of Successes That Can Change the World.
Robert Atkey,
Conor McBride,
James Chapman,
2018,
Journal of Functional Programming.
Conor McBride,
James Chapman,
Guillaume Allais,
2017,
CPP.
Rod M. Burstall,
James McKinna,
R. Burstall,
1993,
MFCS.
Ornela Dardha,
J. McKinna,
Michel Steuwer,
2023,
Proceedings of the ACM on Programming Languages.
James McKinna,
J. McKinna,
2006,
POPL '06.
J. McKinna,
Stéphane Lengrand,
R. Dyckhoff,
2010,
Log. Methods Comput. Sci..
James McKinna,
L. S. van Benthem Jutting,
Robert Pollack,
1994,
TYPES.
Herman Geuvers,
Robbert Krebbers,
James McKinna,
2013,
Ann. Pure Appl. Log..
H. Geuvers,
R. Krebbers,
J. McKinna,
2012,
ArXiv.
Steven Bradley,
Derek Long,
James McKinna,
2001
.