Refinement Types for Ruby.

Milod Kazerounian Niki Vazou Austin Bourgerie Jeffrey S. Foster Emina Torlak

Published in: CoRR (2017)

Keyphrases

database
data sets
programming language
cooperative
databases
neural network
learning algorithm
social networks
web pages
three dimensional
face recognition
multiresolution
special case
probabilistic model
multiple types