| 2008 |
|---|
| 22 | EE | Rawle Prince,
Neil Ghani,
Conor McBride:
Proving Properties about Lists Using Containers.
FLOPS 2008: 97-112 |
| 21 | EE | Conor McBride:
Clowns to the left of me, jokers to the right (pearl): dissecting data structures.
POPL 2008: 287-295 |
| 20 | EE | Conor McBride,
Ross Paterson:
Applicative programming with effects.
J. Funct. Program. 18(1): 1-13 (2008) |
| 2007 |
|---|
| 19 | | Thorsten Altenkirch,
Conor McBride:
Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Springer 2007 |
| 18 | EE | Thorsten Altenkirch,
Conor McBride,
Wouter Swierstra:
Observational equality, now!
PLPV 2007: 57-68 |
| 17 | EE | Conor McBride:
What's the deal with dependent types?
TLDI 2007: 1-2 |
| 2006 |
|---|
| 16 | EE | Healfdene Goguen,
Conor McBride,
James McKinna:
Eliminating Dependent Pattern Matching.
Essays Dedicated to Joseph A. Goguen 2006: 521-540 |
| 15 | EE | Conor McBride:
Lego.
The Seventeen Provers of the World 2006: 108-115 |
| 2005 |
|---|
| 14 | | James Chapman,
Thorsten Altenkirch,
Conor McBride:
Epigram reloaded: a standalone typechecker for ETT.
Trends in Functional Programming 2005: 79-94 |
| 13 | EE | Michael Abbott,
Thorsten Altenkirch,
Conor McBride,
Neil Ghani:
for Data: Differentiating Data Structures.
Fundam. Inform. 65(1-2): 1-28 (2005) |
| 2004 |
|---|
| 12 | EE | Conor McBride:
Epigram: Practical Programming with Dependent Types.
Advanced Functional Programming 2004: 130-170 |
| 11 | EE | Michael Abbott,
Thorsten Altenkirch,
Neil Ghani,
Conor McBride:
Constructing Polymorphic Programs with Quotient Types.
MPC 2004: 2-15 |
| 10 | EE | Conor McBride,
Healfdene Goguen,
James McKinna:
A Few Constructions on Constructors.
TYPES 2004: 186-200 |
| 9 | EE | Peter Morris,
Thorsten Altenkirch,
Conor McBride:
Exploring the Regular Tree Types.
TYPES 2004: 252-267 |
| 8 | EE | Conor McBride,
James McKinna:
The view from the left.
J. Funct. Program. 14(1): 69-111 (2004) |
| 2003 |
|---|
| 7 | EE | Michael Abbott,
Thorsten Altenkirch,
Neil Ghani,
Conor McBride:
Derivatives of Containers.
TLCA 2003: 16-30 |
| 6 | EE | Edwin Brady,
Conor McBride,
James McKinna:
Inductive Families Need Not Store Their Indices.
TYPES 2003: 115-129 |
| 5 | EE | Conor McBride:
First-order unification by structural recursion.
J. Funct. Program. 13(6): 1061-1075 (2003) |
| 2002 |
|---|
| 4 | | Thorsten Altenkirch,
Conor McBride:
Generic Programming within Dependently Typed Programming.
Generic Programming 2002: 1-20 |
| 3 | | Conor McBride:
Faking it: Simulating dependent types in Haskell.
J. Funct. Program. 12(4&5): 375-392 (2002) |
| 2000 |
|---|
| 2 | EE | Conor McBride:
Elimination with a Motive.
TYPES 2000: 197-216 |
| 1996 |
|---|
| 1 | | Conor McBride:
Inverting Inductively Defined Relations in LEGO.
TYPES 1996: 236-253 |
