@misc{indiciae4284721c21a8,
  title = {Coherence of Type Class Resolution},
  author = {Gert-Jan Bottu and Ningning Xie and Koar Marntirosian and Tom Schrijvers},
  year = {2019},
  doi = {10.1145/3341695},
  url = {https://arxiv.org/abs/1907.00844},
  note = {Source identifier: 1907.00844}
}