James McKinna
发表
James McKinna,
L. S. van Benthem Jutting,
Robert Pollack,
1994,
TYPES.
Conor McBride,
James Chapman,
Guillaume Allais,
2017,
CPP.
Conor McBride,
James McKinna,
Healfdene Goguen,
2004,
TYPES.
Conor McBride,
James McKinna,
2004,
Haskell '04.
Conor McBride,
James McKinna,
Conor McBride,
2004,
Journal of Functional Programming.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2018,
Bidirectional Transformations.
James Cheney,
Perdita Stevens,
Jeremy Gibbons,
2014,
EDBT/ICDT Workshops.
Herman Geuvers,
Freek Wiedijk,
James McKinna,
2010,
AISC'10/MKM'10/Calculemus'10.
Michael Rathjen,
M. Dezani-Ciancaglini,
F. Honsell,
2014
.