Session-Typed Concurrent Contracts.

Hannah Gommerstadt Limin Jia Frank 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