Bounded Refinement Types.

Niki Vazou Alexander Bakst Ranjit Jhala

Published in: CoRR (2015)

Keyphrases

artificial intelligence
computer vision
e learning
knowledge base
decision trees
cooperative
expert systems
pairwise