Monotonic References for Gradual Typing.

Jeremy G. Siek Michael M. Vitousek

Published in: CoRR (2013)

Keyphrases

data sets
information retrieval
training data
support vector
feature vectors
query processing
logic programs
monotonicity constraints