A flexible type system for fearless concurrency.

Mae Milano Joshua Turcotti Andrew C. Myers

Published in: PLDI (2022)

Keyphrases

database systems
concurrency control
computer vision
information technology
database
neural network
information systems
digital libraries
type checking