@article{ChapmanUV19,
  title = {Quotienting the delay monad by weak bisimilarity},
  author = {James Chapman and Tarmo Uustalu and Niccolò Veltri},
  year = {2019},
  doi = {10.1017/S0960129517000184},
  url = {https://doi.org/10.1017/S0960129517000184},
  researchr = {https://researchr.org/publication/ChapmanUV19},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {29},
  number = {1},
  pages = {67-92},
}

@article{AllaisA0MM18,
  title = {A type and scope safe universe of syntaxes with binding: their semantics and proofs},
  author = {Guillaume Allais and Robert Atkey and James Chapman and Conor McBride and James McKinna},
  year = {2018},
  doi = {10.1145/3236785},
  url = {https://doi.org/10.1145/3236785},
  researchr = {https://researchr.org/publication/AllaisA0MM18},
  cites = {0},
  citedby = {0},
  journal = {PACMPL},
  volume = {2},
  number = {ICFP},
}

@inproceedings{Allais0MM17,
  title = {Type-and-scope safe programs and their proofs},
  author = {Guillaume Allais and James Chapman and Conor McBride and James McKinna},
  year = {2017},
  doi = {10.1145/3018610.3018613},
  url = {http://doi.acm.org/10.1145/3018610.3018613},
  tags = {Intrinsic-Verification},
  researchr = {https://researchr.org/publication/Allais0MM17},
  cites = {0},
  citedby = {0},
  pages = {195-207},
  booktitle = {CPP},
}

@inproceedings{CockxME0N22,
  title = {Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs},
  author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
  year = {2022},
  doi = {10.1145/3546189.3549920},
  url = {https://doi.org/10.1145/3546189.3549920},
  researchr = {https://researchr.org/publication/CockxME0N22},
  cites = {0},
  citedby = {0},
  pages = {108-122},
  booktitle = {haskell},
}

@article{ChapmanUV17,
  title = {Formalizing Restriction Categories},
  author = {James Chapman and Tarmo Uustalu and Niccolò Veltri},
  year = {2017},
  doi = {10.6092/issn.1972-5787/6237},
  url = {https://doi.org/10.6092/issn.1972-5787/6237},
  researchr = {https://researchr.org/publication/ChapmanUV17},
  cites = {0},
  citedby = {0},
  journal = {jfrea},
  volume = {10},
  number = {1},
  pages = {1-36},
}