Proving Type Class Laws for Haskell.

Andreas Arvidsson Moa Johansson Robin Touche

Published in: TFP (2016)

Keyphrases

functional programming
class labels
data sets
information retrieval
social networks
image processing
active learning
genetic algorithm
similarity measure
digital libraries
expert systems
artificial neural networks
evolutionary algorithm
data model
programming language
logic programs