C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Refinement types for Haskell.
Ranjit Jhala
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