Coercive Subtyping in Type Theory.

Published in: CSL (1996)

Keyphrases

theoretical basis
databases
computational model
theoretical framework
data sets
information retrieval
social networks
information systems
feature selection
case study
natural language
trade off
general theory