Bounded refinement types.

Niki Vazou Alexander Bakst Ranjit Jhala

Published in: ICFP (2015)

Keyphrases

data sets
databases
artificial intelligence
evolutionary algorithm
special case
probability distribution