TY  - RPRT
TI  - Coinductive Soundness of Corecursive Type Class Resolution
AU  - František Farka
AU  - Ekaterina Komendantskaya
AU  - Kevin Hammond
PY  - 2016
UR  - https://arxiv.org/abs/1608.05233
ID  - 1608.05233
ER  -