Monotonic gradual typing in a common calculus.

Benjamin Chung Jan Vitek

Published in: ISSTA/ECOOP Workshops (2018)

Keyphrases

text entry
automated deduction
image segmentation
database
real time
data sets
databases
data structure
multi agent systems
logic programs
algebraic structure
computer algebra
eye typing