An Extension of System F with Subtyping

Luca Cardelli Simone Martini John C. Mitchell Andre Scedrov

Published in: Inf. Comput. (1994)

Keyphrases

multi agent
databases
case study
image sequences
high quality
multiscale
digital libraries
feature space
relational databases