Sign in

Abstracting gradual typing.

Ronald GarciaAlison M. ClarkÉric Tanter
Published in: POPL (2016)
Keyphrases
  • text entry
  • eye typing
  • information retrieval
  • face recognition
  • feature space
  • multiresolution
  • end users