Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).

Simon J. Gay Vasco T. Vasconcelos Philip Wadler Nobuko Yoshida

Published in: Dagstuhl Reports (2017)

Keyphrases

learning algorithm
theoretical basis
general theory
real world
database systems
reinforcement learning
computational model
formal theory
data sets
databases
genetic algorithm
computer vision
cooperative
theoretical framework
multiple types