Traced Types for Safe Strategic Rewriting.

Rongxiao Fu Ornela Dardha Michel Steuwer

Published in: CoRR (2023)

Keyphrases

case study
neural network
knowledge management
query rewriting
real world
information retrieval
learning algorithm
rewrite rules
rewriting rules