Gradual typing: a new perspective.

Giuseppe Castagna Victor Lanvin Tommaso Petrucciani Jeremy G. Siek

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

Keyphrases

databases
information retrieval
multimedia
reinforcement learning
mobile devices
spatio temporal
multiresolution
hidden markov models
augmented reality
eye typing