Coinductive Soundness of Corecursive Type Class Resolution.

Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond

Browse the full LOPSTR paper archive.