Login / Signup

A type checking algorithm for qualified session types

Marco Giunti
Published in: WWV (2011)
Keyphrases
  • database
  • knowledge representation
  • tree structure
  • optimization process