TY  - RPRT
TI  - Coherence of Type Class Resolution
AU  - Gert-Jan Bottu
AU  - Ningning Xie
AU  - Koar Marntirosian
AU  - Tom Schrijvers
PY  - 2019
DO  - 10.1145/3341695
UR  - https://arxiv.org/abs/1907.00844
ID  - 1907.00844
ER  -