Learning refinement types.

He Zhu Aditya V. Nori Suresh Jagannathan

Published in: ICFP (2015)

Keyphrases

learning algorithm
learning process
learning tasks
active learning
artificial intelligence
neural network
learning systems
reinforcement learning
multiscale
genetic algorithm
real world
databases
feature space
evolutionary algorithm
prior knowledge
incremental learning
explanation based learning
learning mechanism