@Misc{mcbride:epigram.url,
  author =	 {Conor McBride},
  title =	 {Epigram},
  year =	 2004,
  note =	 {\url{http://www.dur.ac.uk/CARG/epigram}}
}

@InProceedings{mcbride:motive,
  author =       {Conor McBride},
  title =        {{E}limination with a {M}otive},
  booktitle     = "Types for {P}roofs and {P}rograms ({P}roceedings of the 
                {I}nternational {W}orkshop, {TYPES'00})",
  year      = "2002",
  editor    =  "Paul Callaghan and Zhaohui Luo and James McKinna and Robert Pollack",
  publisher = "Springer-Verlag",
  series    = {LNCS},
  volume    = 2277
}

@Article{mcbride:unification,
  author = 	 {Conor McBride},
  title = 	 {{F}irst-{O}rder {U}nification by {S}tructural
                  {R}ecursion},
  journal = 	 {{J}ournal of {F}unctional {P}rogramming},
  year = 	 2003,
  volume =	 13,
  number =	 6,
  pages = {1061--1075}
}

@InProceedings{mcbride:inversion.lego,
  author        = "Conor McBride",
  title         = "Inverting Inductively Defined Relations in {LEGO}",
  pages =	 "236--253",
  booktitle     = "Types for Proofs and Programs, '96",
  year          = 1998,
  editor =	 "E. Gim{\'e}nez and C. Paulin-Mohring",
  series        = {LNCS},
  volume        = 1512,
  publisher     = {Springer-Verlag}
}

@InProceedings{abbott.altenkirch.ghani.mcbride:mpc04,
  author = 	 {Michael Abbott and Thorsten Altenkirch and Neil Ghani 
                  and Conor McBride},
  title = 	 {Constructing Polymorphic Programs with Quotient Types},
  booktitle = 	 {7th International Conference on Mathematics of Program Construction (MPC 2004)},
  year =	 {2004},
  publisher = "Springer-Verlag",
  series    = {LNCS},
  volume    = 3125
}

@Unpublished{abbott.altenkirch.ghani.mcbride:partial-draft,
  author = 	 {Michael Abbott and Thorsten Altenkirch and Neil Ghani 
                  and Conor McBride},
  title = 	 {$\partial$ for Data},
  note = 	 {{\em submitted for publication}},
  month =	 {February},
  year =	 {2004},
}

@InProceedings{abbott.altenkirch.ghani.mcbride:tlca03,
  author = 	 {Michael Abbott and Thorsten Altenkirch and Neil Ghani 
                  and Conor McBride},
  title = 	 {Derivatives of Containers},
  booktitle = 	 {Typed Lambda Calculi and Applications, TLCA},
  year =	 {2003},
  publisher = "Springer-Verlag",
  series    = {LNCS},
  volume    = 2701
}

@InProceedings{altenkirch.mcbride:wcgp02,
  author = 	 {Thorsten Altenkirch and Conor McBride},
  title = 	 {Generic Programming Within Dependently Typed Programming},
  booktitle = 	 {Generic Programming},
  year =	 {2003},
  note =	 {Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002},
  publisher = "Kluwer",
  pages = {1--20}
}

@Unpublished{mcbride:derivative,
  author = 	 "Conor McBride",
  title = 	 "The {D}erivative of a {R}egular {T}ype is its {T}ype of
		  {O}ne-{H}ole {C}ontexts",
  note = 	 "{Available at \url{http://www.cs.nott.ac.uk/~ctm/diff.ps.gz}}",
  year =	 2001

}

@PhdThesis{mcbride:thesis,
  author = 	 "Conor McBride",
  title = 	 "Dependently {T}yped {F}unctional {P}rograms and their {P}roofs",
  school = 	 "University of Edinburgh",
  year = 	 1999, 
  note   =       {Available from \url{http://www.lfcs.informatics.ed.ac.uk/reports/00/ECS-LFCS-00-419/}}
}

@Article{mcbride:faking,
  author = 	 {Conor McBride},
  title = 	 {{F}aking {I}t
                  ({S}imulating {D}ependent {T}ypes in {H}askell)},
  journal = 	 {{J}ournal of {F}unctional {P}rogramming},
  year = 	 2002,
  volume =	 12,
  number =	 {4\& 5},
  pages =	 {375--392},
  note =	 {{S}pecial {I}ssue on {H}askell}
}

@Article{mcbride.mckinna:viewfromleft,
   journal = {{J}ournal of {F}unctional {P}rogramming},
   pages = {69--111},
   number = {1},
   volume = {14},
   title = {The view from the left},
   year = {2004},
   author = {C. McBride and J. McKinna}
}

@InProceedings{brady.mcbride.mckinna:family.indices,
  author = 	 {Edwin Brady and Conor McBride and James McKinna},
  title = 	 {Inductive Families Need Not Store Their Indices},
  booktitle = 	 {Types for Proofs and Programs, Torino, 2003},
  pages =	 {115-129},
  year =	 2004,
  editor =	 {Stefano Berardi and Mario Coppo and Ferrucio Damiani},
  volume =	 3085,
  series =	 "{LNCS}",
  publisher =	 "{Springer-Verlag}"
}