@article{OConnor_CRJAKMSK_21,
    author           = {O’Connor, Liam and Chen, Zilin and Rizkallah, Christine and Jackson, Vincent and Amani, Sidney and
                        Klein, Gerwin and Murray, Toby and Sewell, Thomas and Keller, Gabriele},
    doi              = {10.1017/S095679682100023X},
    journal          = {Journal of Functional Programming},
    paperurl         = {https://trustworthy.systems/publications/papers/OConnor_CRJAKMSK_21.pdf},
    publisher        = {Cambridge University Press},
    title            = {{Cogent}: uniqueness types and certifying compilation},
    volume           = {31},
    year             = {2021}
  }