Generic and flexible defaults for verified, law-abiding type-class instances.

Ryan G. Scott Ryan R. Newton

Published in: Haskell@ICFP (2019)

Keyphrases

multiple classes
expressive power
object instances
tractable cases
feature space
integer programming
neural network
legal reasoning
default reasoning
single instance
single class
training instances
multi class classification
randomly generated
lightweight
search algorithm
high level