Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers. Coherence of type class resolution. Proceedings of the ACM on Programming Languages, 3(ICFP), 2019. [doi]
@article{BottuXMS19,
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://doi.org/10.1145/3341695},
researchr = {https://researchr.org/publication/BottuXMS19},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {3},
number = {ICFP},
}