The Recursive Union of Some Gradual Types.

Jeremy G. Siek Sam Tobin-Hochstadt

Published in: A List of Successes That Can Change the World (2016)

Keyphrases

information systems
neural network
real world
genetic algorithm
computer vision
decision trees
search space
integrity constraints