Coinductive Soundness of Corecursive Type Class Resolution.

Frantisek Farka Ekaterina Komendantskaya Kevin Hammond

Published in: LOPSTR (2016)

Keyphrases

data sets
class specific
real world
data mining
expert systems
feature vectors
sufficient conditions
low resolution