Session-typed concurrent contracts.

Hannah Gommerstadt Limin Jia Frank Pfenning

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

higher order
supply chain
lambda calculus
knowledge base
case study
mutual exclusion
decision making
image sequences
reinforcement learning
multi agent systems
business transactions
fixed order
concurrent execution
training sessions
adverse selection