Sign in

Types for Deadlock-Free Higher-Order Programs.

Luca PadovaniLuca Novara
Published in: FORTE (2015)
Keyphrases
  • higher order
  • deadlock free
  • markov random field
  • concurrency control
  • database
  • similarity measure
  • object oriented
  • intrusion detection
  • routing algorithm
  • distributed database systems