publications:
- title: "Epigram: Practical Programming with Dependent Types"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11546382_3"
  links:
    doi: "http://dx.doi.org/10.1007/11546382_3"
  tags:
  - "Intrinsic-Verification"
  - "programming"
  researchr: "https://researchr.org/publication/McBride04"
  cites: 0
  citedby: 0
  pages: "130-170"
  booktitle: "afp"
  kind: "inproceedings"
  key: "McBride04"
- title: "Functional pearl: I am not a number-I am a free variable"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1017472.1017477"
  links:
    doi: "http://doi.acm.org/10.1145/1017472.1017477"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/McBrideM04"
  researchr: "https://researchr.org/publication/McBrideM04-0"
  cites: 0
  citedby: 0
  pages: "1-9"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "McBrideM04-0"
- title: "Clowns to the left of me, jokers to the right (pearl): dissecting data structures"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1328438.1328474"
  links:
    doi: "http://doi.acm.org/10.1145/1328438.1328474"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/McBride08%3A0"
  cites: 0
  citedby: 0
  pages: "287-295"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "McBride08:0"
- title: "The gentle art of levitation"
  author:
  - name: "James Chapman"
    link: "https://researchr.org/alias/james-chapman"
  - name: "Pierre-Évariste Dagand"
    link: "https://researchr.org/alias/pierre-%C3%A9variste-dagand"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "Peter Morris"
    link: "https://researchr.org/alias/peter-morris"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863547"
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863547"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/ChapmanDMM10"
  researchr: "https://researchr.org/publication/ChapmanDMM10"
  cites: 0
  citedby: 0
  pages: "3-14"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "ChapmanDMM10"
- title: "The view from the left"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796803004829"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796803004829"
  researchr: "https://researchr.org/publication/McBrideM04"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "14"
  number: "1"
  pages: "69-111"
  kind: "article"
  key: "McBrideM04"
- title: "A Few Constructions on Constructors"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "Healfdene Goguen"
    link: "https://researchr.org/alias/healfdene-goguen"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11617990_12"
  links:
    doi: "http://dx.doi.org/10.1007/11617990_12"
  researchr: "https://researchr.org/publication/McBrideGM04"
  cites: 0
  citedby: 0
  pages: "186-200"
  booktitle: "TYPES"
  kind: "inproceedings"
  key: "McBrideGM04"
- title: "Let s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03741-2_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03741-2_9"
  researchr: "https://researchr.org/publication/McBride09"
  cites: 0
  citedby: 0
  pages: "113-126"
  booktitle: "calco"
  kind: "inproceedings"
  key: "McBride09"
- title: "Derivatives of Containers"
  author:
  - name: "Michael Abbott"
    link: "https://researchr.org/alias/michael-abbott"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2701/27010016.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2701/27010016.htm"
  researchr: "https://researchr.org/publication/AbbottAGM03"
  cites: 0
  citedby: 0
  pages: "16-30"
  booktitle: "tlca"
  kind: "inproceedings"
  key: "AbbottAGM03"
- title: "A type and scope safe universe of syntaxes with binding: their semantics and proofs"
  author:
  - name: "Guillaume Allais"
    link: "https://researchr.org/alias/guillaume-allais"
  - name: "Robert Atkey"
    link: "https://researchr.org/alias/robert-atkey"
  - name: "James Chapman"
    link: "https://jmchapman.github.io/"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  year: "2018"
  doi: "https://doi.org/10.1145/3236785"
  links:
    doi: "https://doi.org/10.1145/3236785"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/AllaisA0MM18"
  researchr: "https://researchr.org/publication/AllaisA0MM18"
  cites: 0
  citedby: 0
  journal: "PACMPL"
  volume: "2"
  number: "ICFP"
  kind: "article"
  key: "AllaisA0MM18"
- title: "Eliminating Dependent Pattern Matching"
  author:
  - name: "Healfdene Goguen"
    link: "https://researchr.org/alias/healfdene-goguen"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11780274_27"
  links:
    doi: "http://dx.doi.org/10.1007/11780274_27"
  tags:
  - "pattern matching"
  researchr: "https://researchr.org/publication/GoguenMM06"
  cites: 0
  citedby: 0
  pages: "521-540"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "GoguenMM06"
- title: "Inductive Families Need Not Store Their Indices"
  author:
  - name: "Edwin Brady"
    link: "http://www.cs.st-andrews.ac.uk/~eb"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3085&spage=115"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3085&spage=115"
  researchr: "https://researchr.org/publication/BradyMM03"
  cites: 0
  citedby: 0
  pages: "115-129"
  booktitle: "TYPES"
  kind: "inproceedings"
  key: "BradyMM03"
- title: "for Data: Differentiating Data Structures"
  author:
  - name: "Michael Abbott"
    link: "https://researchr.org/alias/michael-abbott"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2005"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=65&issue=1&spage=1"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=65&issue=1&spage=1"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/AbbottAMG05"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "65"
  number: "1-2"
  pages: "1-28"
  kind: "article"
  key: "AbbottAMG05"
- title: "Epigram reloaded: a standalone typechecker for ETT"
  author:
  - name: "James Chapman"
    link: "https://researchr.org/alias/james-chapman"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2005"
  researchr: "https://researchr.org/publication/ChapmanAM05"
  cites: 0
  citedby: 0
  pages: "79-94"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "ChapmanAM05"
- title: "Everybody's Got To Be Somewhere"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2018"
  month: "Jul"
  doi: "10.4204/eptcs.275.6"
  links:
    "url": "http://dx.doi.org/10.4204/EPTCS.275.6"
  researchr: "https://researchr.org/publication/McBride2018"
  cites: 0
  citedby: 0
  journal: "Electronic Proceedings in Theoretical Computer Science"
  volume: "275"
  pages: "53-69"
  kind: "article"
  key: "McBride2018"
- title: "Generic Programming within Dependently Typed Programming"
  author:
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2002"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/AltenkirchM02"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "ifip2-1"
  kind: "inproceedings"
  key: "AltenkirchM02"
- title: "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  author:
  - name: "Andres Löh"
    link: "https://researchr.org/alias/andres-l%C3%B6h"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "Wouter Swierstra"
    link: "https://researchr.org/alias/wouter-swierstra"
  year: "2010"
  doi: "http://dx.doi.org/10.3233/FI-2010-304"
  links:
    doi: "http://dx.doi.org/10.3233/FI-2010-304"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fuin/LohMS10"
  researchr: "https://researchr.org/publication/LohMS10"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "102"
  number: "2"
  pages: "177-207"
  kind: "article"
  key: "LohMS10"
- title: "Exploring the Regular Tree Types"
  author:
  - name: "Peter Morris"
    link: "https://researchr.org/alias/peter-morris"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11617990_16"
  links:
    doi: "http://dx.doi.org/10.1007/11617990_16"
  researchr: "https://researchr.org/publication/MorrisAM04"
  cites: 0
  citedby: 0
  pages: "252-267"
  booktitle: "TYPES"
  kind: "inproceedings"
  key: "MorrisAM04"
- title: "Applicative programming with effects"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "Ross Paterson"
    link: "https://researchr.org/alias/ross-paterson"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S0956796807006326"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796807006326"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/McbrideP08"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "18"
  number: "1"
  pages: "1-13"
  kind: "article"
  key: "McbrideP08"
- title: "What s the deal with dependent types?"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1190315.1190316"
  links:
    doi: "http://doi.acm.org/10.1145/1190315.1190316"
  researchr: "https://researchr.org/publication/McBride07"
  cites: 0
  citedby: 0
  pages: "1-2"
  booktitle: "tldi"
  kind: "inproceedings"
  key: "McBride07"
- title: "Constructing Polymorphic Programs with Quotient Types"
  author:
  - name: "Michael Abbott"
    link: "https://researchr.org/alias/michael-abbott"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=2"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=2"
  researchr: "https://researchr.org/publication/AbbottAGM04"
  cites: 0
  citedby: 0
  pages: "2-15"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "AbbottAGM04"
- title: "Faking it: Simulating dependent types in Haskell"
  author:
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2002"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/McBride02"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "12"
  number: "4&5"
  pages: "375-392"
  kind: "article"
  key: "McBride02"
- title: "Proving Properties about Lists Using Containers"
  author:
  - name: "Rawle Prince"
    link: "https://researchr.org/alias/rawle-prince"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78969-7_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78969-7_9"
  researchr: "https://researchr.org/publication/PrinceGM08"
  cites: 0
  citedby: 0
  pages: "97-112"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "PrinceGM08"
- title: "Observational equality, now!"
  author:
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "Wouter Swierstra"
    link: "http://www.cse.chalmers.se/~wouter/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1292597.1292608"
  links:
    doi: "http://doi.acm.org/10.1145/1292597.1292608"
  researchr: "https://researchr.org/publication/AltenkirchMS07"
  cites: 0
  citedby: 0
  pages: "57-68"
  booktitle: "plpv"
  kind: "inproceedings"
  key: "AltenkirchMS07"