Focusing on Refinement Typing.

Dimitrios J. Economou Neel Krishnaswami Jana Dunfield

Published in: ACM Trans. Program. Lang. Syst. (2023)

Keyphrases

refinement process
information retrieval
feature selection
decision trees
similarity measure
multiscale
learning environment
query refinement
eye typing