publications:
- title: "Prototyping Generic Programming in Template Haskell"
  author:
  - name: "Ulf Norell"
    link: "http://www.cse.chalmers.se/~ulfn/"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=314"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=314"
  tags:
  - "generic programming"
  - "Haskell"
  - "programming"
  researchr: "https://researchr.org/publication/NorellJ04"
  cites: 0
  citedby: 0
  pages: "314-333"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "NorellJ04"
- title: "Dependently Typed Programming in Agda"
  author:
  - name: "Ulf Norell"
    link: "http://www.cse.chalmers.se/~ulfn/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-04652-0_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04652-0_5"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Norell08"
  cites: 0
  citedby: 0
  pages: "230-266"
  booktitle: "afp"
  kind: "inproceedings"
  key: "Norell08"
- title: "A Brief Overview of Agda - A Functional Language with Dependent Types"
  author:
  - name: "Ana Bove"
    link: "https://researchr.org/alias/ana-bove"
  - name: "Peter Dybjer"
    link: "https://researchr.org/alias/peter-dybjer"
  - name: "Ulf Norell"
    link: "http://www.cse.chalmers.se/~ulfn/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03359-9_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03359-9_6"
  researchr: "https://researchr.org/publication/BoveDN09"
  cites: 0
  citedby: 0
  pages: "73-78"
  booktitle: "tphol"
  kind: "inproceedings"
  key: "BoveDN09"
- title: "Verifying haskell programs using constructive type theory"
  author:
  - name: "Andreas Abel"
    link: "https://researchr.org/alias/andreas-abel"
  - name: "Marcin Benke"
    link: "https://researchr.org/alias/marcin-benke"
  - name: "Ana Bove"
    link: "https://researchr.org/alias/ana-bove"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Ulf Norell"
    link: "http://www.cse.chalmers.se/~ulfn/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1088348.1088355"
  links:
    doi: "http://doi.acm.org/10.1145/1088348.1088355"
  tags:
  - "program verification"
  - "Haskell"
  - "type theory"
  researchr: "https://researchr.org/publication/AbelBBHN05"
  cites: 0
  citedby: 0
  pages: "62-73"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "AbelBBHN05"
- title: "Dependently typed programming in Agda"
  author:
  - name: "Ulf Norell"
    link: "http://www.cse.chalmers.se/~ulfn/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1481861.1481862"
  links:
    doi: "http://doi.acm.org/10.1145/1481861.1481862"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Norell09"
  cites: 0
  citedby: 0
  pages: "1-2"
  booktitle: "tldi"
  kind: "inproceedings"
  key: "Norell09"
- title: "Polytypic Programming in Haskell"
  author:
  - name: "Ulf Norell"
    link: "http://www.cse.chalmers.se/~ulfn/"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=168"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=168"
  tags:
  - "polytypic programming"
  - "Haskell"
  - "programming"
  - "polytypic"
  researchr: "https://researchr.org/publication/NorellJ03"
  cites: 0
  citedby: 0
  pages: "168-184"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "NorellJ03"
- title: "Connecting a Logical Framework to a First-Order Logic Prover"
  author:
  - name: "Andreas Abel"
    link: "https://researchr.org/alias/andreas-abel"
  - name: "Thierry Coquand"
    link: "https://researchr.org/alias/thierry-coquand"
  - name: "Ulf Norell"
    link: "http://www.cse.chalmers.se/~ulfn/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11559306_17"
  links:
    doi: "http://dx.doi.org/10.1007/11559306_17"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/AbelCN05"
  cites: 0
  citedby: 0
  pages: "285-301"
  booktitle: "frocos"
  kind: "inproceedings"
  key: "AbelCN05"