On polymorphic gradual typing.

Yuu Igarashi Taro Sekiyama Atsushi Igarashi

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

Keyphrases

database systems
data sets
databases
high quality
general purpose
multimedia
preprocessing
data model
dynamic programming
semi supervised
type checking