Refinement types for Haskell.

Niki Vazou Eric L. Seidel Ranjit Jhala Dimitrios Vytiniotis Simon L. Peyton Jones

Published in: ICFP (2014)

Keyphrases

database
programming language
decision making
image segmentation
information technology
neural network
data mining
decision trees
image sequences
general purpose
functional programming