Abstracting gradual typing.

Ronald Garcia Alison M. Clark Éric Tanter

Published in: POPL (2016)

Keyphrases

text entry
eye typing
information retrieval
face recognition
feature space
multiresolution
end users