Linearly Refined Session Types

Pedro Baltazar Dimitris Mostrous Vasco Thudichum Vasconcelos

Published in: LINEARITY (2012)

Keyphrases

data sets
neural network
genetic algorithm
learning environment
database
information systems
data structure
relational databases
multiresolution
scheduling problem
refinement process