Gradual session types.

Atsushi Igarashi Peter Thiemann Vasco T. Vasconcelos Philip Wadler

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

image sequences
data sets
machine learning
case study
relational databases
evolutionary algorithm
medical images
web search engines