Conor McBride
发表
Shin-Cheng Mu,
Conor McBride,
Stephanie Weirich,
2013
.
Conor McBride,
2015,
MPC.
Thorsten Altenkirch,
Conor McBride,
Thorsten Altenkirch,
2002,
Generic Programming.
Robert Atkey,
Conor McBride,
James Chapman,
2018,
Journal of Functional Programming.
Conor McBride,
James McKinna,
Conor McBride,
2004,
Haskell '04.
Thorsten Altenkirch,
Conor McBride,
Neil Ghani,
2005,
Fundam. Informaticae.
Conor McBride,
2010,
PAR@ITP.
Conor McBride,
James McKinna,
Conor McBride,
2004,
Journal of Functional Programming.
Conor McBride,
Adam Gundry,
2012
.
Thorsten Altenkirch,
Conor McBride,
2007,
TYPES.
Conor McBride,
2007,
TLDI '07.
Conor McBride,
2018,
MSFP@FSCD.
Conor McBride,
Sam Lindley,
Craig McLaughlin,
2017,
POPL.
Conor McBride,
2003,
J. Funct. Program..
Conor McBride,
Wouter Swierstra,
2007
.
Conor McBride,
Conor McBride,
2009,
CALCO.
Thorsten Altenkirch,
Conor McBride,
Wouter Swierstra,
2007,
PLPV.
Venanzio Capretta,
Conor McBride,
2011,
Electron. Notes Theor. Comput. Sci..
Conor McBride,
Pierre-Évariste Dagand,
Pierre-Évariste Dagand,
2012,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Conor McBride,
Pierre Boutillier,
Guillaume Allais,
2013,
DTP '13.
Robert Atkey,
James Chapman,
Conor McBride,
2018
.
Thorsten Altenkirch,
Conor McBride,
Neil Ghani,
2013,
TLCA.
Conor McBride,
James McKinna,
Healfdene Goguen,
2004,
TYPES.
Conor McBride,
Conor McBride,
1996,
TYPES.
Conor McBride,
Guillaume Allais,
James McKinna,
2017
.
Conor McBride,
Conor McBride,
2010,
WGP '10.
Conor McBride,
James McKinna,
Healfdene Goguen,
2006,
Essays Dedicated to Joseph A. Goguen.
Peter Morris,
Conor McBride,
Pierre-Évariste Dagand,
2010,
ICFP '10.
Conor McBride,
Pierre-Évariste Dagand,
2012,
ICFP '12.
Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
Tarmo Uustalu,
Conor McBride,
2006
.
Thorsten Altenkirch,
Conor McBride,
Neil Ghani,
2003,
TLCA.
Conor McBride,
Neil Ghani,
Rawle C. S. Prince,
2008,
FLOPS.
Peter Morris,
Thorsten Altenkirch,
Conor McBride,
2004,
TYPES.
Shin-Cheng Mu,
Conor McBride,
Stephanie Weirich,
2011,
NII Shonan Meet. Rep..
Conor McBride,
2014
.
Conor McBride,
Andres Löh,
Wouter Swierstra,
2010,
Fundam. Informaticae.
Conor McBride,
Philip W. Trinder,
Donald Sannella,
2016,
Lecture Notes in Computer Science.
Peter Morris,
Thorsten Altenkirch,
Conor McBride,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Conor McBride,
2012,
ICFP '12.
Conor McBride,
2008,
POPL '08.
Conor McBride,
Pierre-Évariste Dagand,
2014,
J. Funct. Program..
Thorsten Altenkirch,
Conor McBride,
2006
.
Conor McBride,
James Chapman,
Guillaume Allais,
2017,
CPP.
Conor McBride,
Conor McBride,
2004,
Advanced Functional Programming.
Conor McBride,
Edwin Brady,
James McKinna,
2003,
TYPES.
Conor McBride,
Ross Paterson,
Conor McBride,
2008,
J. Funct. Program..
Robert Atkey,
Conor McBride,
Conor McBride,
2013,
ICFP.
Conor McBride,
Neil Ghani,
Fredrik Nordvall Forsberg,
2017,
MFCS.
Conor McBride,
James McKinna,
Adam Gundry,
2010,
MSFP '10.
Conor McBride,
Sam Lindley,
Lukas Convent,
2020,
J. Funct. Program..
Thorsten Altenkirch,
Conor McBride,
Neil Ghani,
2004,
MPC.
Conor McBride,
Conor McBride,
2000,
TYPES.
Chung-Kil Hur,
Nick Benton,
Andrew Kennedy,
2011,
Journal of Automated Reasoning.
Conor McBride,
2002,
J. Funct. Program..
Conor McBride,
Sam Lindley,
2013,
Haskell '13.
Conor McBride,
Conor McBride,
2000
.
Conor McBride,
2014,
ICFP.
Thorsten Altenkirch,
Conor McBride,
James Chapman,
2005,
Trends in Functional Programming.
Tarmo Uustalu,
Conor McBride,
2006
.
Thorsten Altenkirch,
Conor McBride,
2016,
Math. Struct. Comput. Sci..
Peter Morris,
Thorsten Altenkirch,
Conor McBride,
2006,
SSDGP.
Conor McBride,
Pierre-Évariste Dagand,
2012,
ArXiv.
Conor McBride,
Conor McBride,
2016,
A List of Successes That Can Change the World.
Thorsten Altenkirch,
Conor McBride,
Neil Ghani,
2012
.
Conor McBride,
2006
.
Thorsten Altenkirch,
Conor McBride,
2006
.