Casts and costs: harmonizing safety and performance in gradual typing.

John Peter Campora III Sheng Chen Eric Walkingshaw

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

total cost
data sets
cost savings
databases
computer vision
probabilistic model
civil aviation