@inproceedings{NorellJ04,
  title = {Prototyping Generic Programming in Template Haskell},
  author = {Ulf Norell and Patrik Jansson},
  year = {2004},
  url = {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},
}

@inproceedings{Norell08,
  title = {Dependently Typed Programming in Agda},
  author = {Ulf Norell},
  year = {2008},
  doi = {10.1007/978-3-642-04652-0_5},
  url = {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},
}

@inproceedings{BoveDN09,
  title = {A Brief Overview of Agda - A Functional Language with Dependent Types},
  author = {Ana Bove and Peter Dybjer and Ulf Norell},
  year = {2009},
  doi = {10.1007/978-3-642-03359-9_6},
  url = {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},
}

@inproceedings{AbelBBHN05,
  title = {Verifying haskell programs using constructive type theory},
  author = {Andreas Abel and Marcin Benke and Ana Bove and John Hughes and Ulf Norell},
  year = {2005},
  doi = {10.1145/1088348.1088355},
  url = {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},
}

@inproceedings{Norell09,
  title = {Dependently typed programming in Agda},
  author = {Ulf Norell},
  year = {2009},
  doi = {10.1145/1481861.1481862},
  url = {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},
}

@inproceedings{NorellJ03,
  title = {Polytypic Programming in Haskell},
  author = {Ulf Norell and Patrik Jansson},
  year = {2003},
  url = {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},
}

@inproceedings{AbelCN05,
  title = {Connecting a Logical Framework to a First-Order Logic Prover},
  author = {Andreas Abel and Thierry Coquand and Ulf Norell},
  year = {2005},
  doi = {10.1007/11559306_17},
  url = {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},
}