LiquidHaskell: experience with refinement types in the real world.

Niki Vazou Eric L. Seidel Ranjit Jhala

Published in: Haskell (2014)

Keyphrases

real world
data sets
wide range
case study
data mining
decision trees
multiple types
synthetic data
computer vision
real time
feature selection
information systems
search algorithm
natural language
digital libraries
learning algorithm
learning curve