Refinement types for Haskell.

Published in: PLPV (2014)

Keyphrases

programming language
general purpose
real time
neural network
machine learning
decision making
image processing
database systems
multiscale
image retrieval
functional programming