Conor McBride

Identifiers

• name variant Conor McBride 0.60 · backfill

Papers (4)

1. Do be do be do cs.PL · 2016 · author #2
2. New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized cs.PL · 2013 · author #3
3. A Categorical Treatment of Ornaments cs.PL · 2012 · author #2
4. Elaborating Inductive Definitions cs.PL · 2012 · author #2

Mentions

• 1304.0809 #3 · backfill · confidence 0.70 Conor McBride
• 1212.3806 #2 · backfill · confidence 0.70 Conor McBride
• 1210.6390 #2 · backfill · confidence 0.70 Conor McBride

Frequent Coauthors

• Pierre-Evariste Dagand 2 shared papers
• Craig McLaughlin 1 shared papers
• Guillaume Allais 1 shared papers
• Pierre Boutillier 1 shared papers
• Sam Lindley 1 shared papers