Login / Signup
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