Sign in

Verified Linear Session-Typed Concurrent Programming.

Ankush DasFrank Pfenning
Published in: PPDP (2020)
Keyphrases
  • concurrent programming
  • programming language
  • closed form
  • relational databases
  • response time
  • linear model
  • lambda calculus