What is decidable about gradual types?

Zeina Migeed Jens Palsberg

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

Keyphrases

first order logic
three dimensional
database
data mining
real world
genetic algorithm
search engine
computer vision
video sequences
information technology
query language
expressive power