Gradual Session Types.

Atsushi Igarashi Peter Thiemann Yuya Tsuda Vasco T. Vasconcelos Philip Wadler

Published in: CoRR (2018)

Keyphrases

real world
databases
artificial intelligence
case study
database systems
multi agent
support vector