Sign in

Bounded refinement types.

Niki VazouAlexander BakstRanjit Jhala
Published in: ICFP (2015)
Keyphrases
  • data sets
  • databases
  • artificial intelligence
  • evolutionary algorithm
  • special case
  • probability distribution