Login / Signup
A type checking algorithm for qualified session types
Marco Giunti
Published in:
WWV (2011)
Keyphrases
</>
database
knowledge representation
tree structure
optimization process