Verified Linear Session-Typed Concurrent Programming.

Ankush Das Frank Pfenning

Published in: PPDP (2020)

Keyphrases

concurrent programming
programming language
closed form
relational databases
response time
linear model
lambda calculus