@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 = {Mathematical Structures in Computer Science},
  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 = {Proceedings of the ACM on Programming Languages},
  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 = {Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017},
  editor = {Yves Bertot and Viktor Vafeiadis},
  publisher = {ACM},
  isbn = {978-1-4503-4705-1},
}

@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 '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022},
  editor = {Nadia Polikarpova},
  publisher = {ACM},
  isbn = {978-1-4503-9438-3},
}

@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 = {J. Formalized Reasoning},
  volume = {10},
  number = {1},
  pages = {1-36},
}