Recursive subtyping revealed.

Vladimir Gapeyev Michael Y. Levin Benjamin C. Pierce

Published in: J. Funct. Program. (2002)

Keyphrases

databases
information retrieval
search algorithm
recursive algorithm
database
natural language
management system
recursive queries
iterative refinement