Gradual session types.

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

Published in: J. Funct. Program. (2019)

Keyphrases

databases
computer vision
data structure
search algorithm
probability distribution