Gradual refinement types.

Nico Lehmann Éric Tanter

Published in: POPL (2017)

Keyphrases

data sets
high level
artificial neural networks
real time
neural network
machine learning
similarity measure
control system