Login / Signup

Algorithmic type checking for a pi-calculus with name matching and session types.

Marco Giunti
Published in: J. Log. Algebraic Methods Program. (2013)
Keyphrases
  • type checking
  • database query languages
  • data types
  • query processor
  • relational calculus
  • relational algebra
  • abstract data types
  • high level
  • preprocessing
  • d objects
  • multi dimensional