Higher-Order Intensional Type Analysis.

Stephanie Weirich

Published in: ESOP (2002)

Keyphrases

higher order
data structure
data analysis
database
image analysis
statistical analysis
high order
automatic analysis
high level
image sequences
search algorithm
pairwise