Sign in

Session-Typed Concurrent Contracts.

Hannah GommerstadtLimin JiaFrank Pfenning
Published in: ESOP (2018)
Keyphrases
  • higher order
  • supply chain
  • lambda calculus
  • concurrent programs
  • real world
  • information retrieval
  • computer vision
  • neural network
  • web pages
  • website
  • electronic commerce