Conor McBride

ORCID

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 13

Top Venues

CoRR

J. Funct. Program.

ICFP

Math. Struct. Comput. Sci.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. J. Funct. Program. 31 (2021)
Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin
Doo bee doo bee doo. J. Funct. Program. 30 (2020)
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs. CoRR (2020)
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
A type and scope safe universe of syntaxes with binding: their semantics and proofs. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Conor McBride
Everybody's Got To Be Somewhere. MSFP@FSCD (2018)
Guillaume Allais, James Chapman, Conor McBride, James McKinna
Type-and-scope safe programs and their proofs. CPP (2017)
Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn
Variations on Inductive-Recursive Definitions. MFCS (2017)
Sam Lindley, Conor McBride, Craig McLaughlin
Do be do be do. POPL (2017)
Sam Lindley, Conor McBride, Craig McLaughlin
Do be do be do. CoRR (2016)
Conor McBride
I Got Plenty o' Nuttin'. A List of Successes That Can Change the World (2016)
Thorsten Altenkirch, Conor McBride
Selected papers from Dependently Typed Programming 2010 - Overview. Math. Struct. Comput. Sci. 26 (1) (2016)
Conor McBride
Turing-Completeness Totally Free. MPC (2015)
Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris
Indexed containers. J. Funct. Program. 25 (2015)
Pierre-Évariste Dagand, Conor McBride
Transporting functions across ornaments. J. Funct. Program. 24 (2-3) (2014)
Sam Lindley, Conor McBride
Hasochism: the pleasure and pain of dependently typed haskell programming. Haskell (2013)
Guillaume Allais, Pierre Boutillier, Conor McBride
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized CoRR (2013)
Robert Atkey, Conor McBride
Productive coprogramming with guarded recursion. ICFP (2013)
Guillaume Allais, Conor McBride, Pierre Boutillier
New equations for neutral terms: a sound and complete decision procedure, formalized. DTP@ICFP (2013)
Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch
Small Induction Recursion. TLCA (2013)
Pierre-Évariste Dagand, Conor McBride
A Categorical Treatment of Ornaments. LICS (2013)
Nick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride
Strongly Typed Term Representations in Coq. J. Autom. Reason. 49 (2) (2012)
Pierre-Évariste Dagand, Conor McBride
Elaborating Inductive Definitions CoRR (2012)
Pierre-Évariste Dagand, Conor McBride
Transporting Functions across Ornaments CoRR (2012)
Pierre-Évariste Dagand, Conor McBride
A Categorical Treatment of Ornaments CoRR (2012)
Pierre-Évariste Dagand, Conor McBride
Transporting functions across ornaments. ICFP (2012)
Venanzio Capretta, Conor McBride
Preface. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Shin-Cheng Mu, Conor McBride, Stephanie Weirich
Dependently Typed Programming (NII Shonan Meeting 2011-3). NII Shonan Meet. Rep. 2011 (2011)
Conor McBride
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. ICFP-WGP (2010)
James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris
The gentle art of levitation. ICFP (2010)
Andres Löh, Conor McBride, Wouter Swierstra
A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae 102 (2) (2010)
Adam Gundry, Conor McBride, James McKinna
Type Inference in Context. MSFP@ICFP (2010)
Conor McBride
Djinn, Monotonic. PAR@ITP (2010)
Conor McBride
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). CALCO (2009)
Conor McBride, Tarmo Uustalu
Preface. J. Funct. Program. 19 (3-4) (2009)
Rawle C. S. Prince, Neil Ghani, Conor McBride
Proving Properties about Lists Using Containers. FLOPS (2008)
Conor McBride
Clowns to the left of me, jokers to the right (pearl): dissecting data structures. POPL (2008)
Conor McBride, Ross Paterson
Applicative programming with effects. J. Funct. Program. 18 (1) (2008)
Thorsten Altenkirch, Conor McBride, Wouter Swierstra
Observational equality, now! PLPV (2007)
Conor McBride
What's the deal with dependent types? TLDI (2007)
Healfdene Goguen, Conor McBride, James McKinna
Eliminating Dependent Pattern Matching. Essays Dedicated to Joseph A. Goguen (2006)
Thorsten Altenkirch, Conor McBride, Peter Morris
Generic Programming with Dependent Types. SSDGP (2006)
Michael Gordon Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani
for Data: Differentiating Data Structures. Fundam. Informaticae 65 (1-2) (2005)
James Chapman, Thorsten Altenkirch, Conor McBride
Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming (2005)
Conor McBride, James McKinna
Functional pearl: i am not a number-i am a free variable. Haskell (2004)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
Constructing Polymorphic Programs with Quotient Types. MPC (2004)
Peter Morris, Thorsten Altenkirch, Conor McBride
Exploring the Regular Tree Types. TYPES (2004)
Conor McBride
Epigram: Practical Programming with Dependent Types. Advanced Functional Programming (2004)
Conor McBride, James McKinna
The view from the left. J. Funct. Program. 14 (1) (2004)
Conor McBride, Healfdene Goguen, James McKinna
A Few Constructions on Constructors. TYPES (2004)
Conor McBride
First-order unification by structural recursion. J. Funct. Program. 13 (6) (2003)
Edwin C. Brady, Conor McBride, James McKinna
Inductive Families Need Not Store Their Indices. TYPES (2003)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
Derivatives of Containers. TLCA (2003)
Conor McBride
Faking it: Simulating dependent types in Haskell. J. Funct. Program. 12 (4&5) (2002)
Thorsten Altenkirch, Conor McBride
Generic Programming within Dependently Typed Programming. Generic Programming (2002)
Conor McBride
Elimination with a Motive. TYPES (2000)
Conor McBride
Inverting Inductively Defined Relations in LEGO. TYPES (1996)

Conor McBride.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Conor McBride