Sign in

Session Types = Intersection Types + Union Types

Luca Padovani
Published in: ITRS (2010)
Keyphrases
  • databases
  • neural network
  • artificial intelligence
  • database systems
  • email
  • varying degrees