Modelling session types using contracts.

Giovanni Tito Bernardi Matthew Hennessy

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

supply chain
data structure
real world
information retrieval
computer vision
reinforcement learning