Contextual Refinement Types.

Antoine Gaulin Brigitte Pientka

Published in: CoRR (2023)

Keyphrases

contextual information
databases
neural network
special case
search engine
case study
cooperative
feature space
information technology
context sensitive
multiple types