Session Types with Gradual Typing.

Published in: TGC (2014)

Keyphrases

real time
databases
learning algorithm
decision trees
objective function
relational databases
special case
management system
user behavior