Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification.

Cameron Moy Phuc C. Nguyen Sam Tobin-Hochstadt David Van Horn

Published in: CoRR (2020)

Keyphrases

supply chain
data sets
neural network
information systems
database systems
highly efficient
database
databases
image processing
decision trees
three dimensional
image sequences
video sequences
mobile devices
probabilistic model
error rate