Login / Signup
Session Types with Gradual Typing.
Peter Thiemann
Published in:
TGC (2014)
Keyphrases
</>
real time
databases
learning algorithm
decision trees
objective function
relational databases
special case
management system
user behavior