Type error slicing in implicitly typed higher-order languages.

Christian Haack Joe B. Wells

Published in: Sci. Comput. Program. (2004)

Keyphrases

higher order
lambda calculus
natural images
lower order
database query languages
high order
markov random field
pairwise
language independent
type checking
error rate
expressive power
databases
low order
relational databases
conditional random fields
cross lingual
query translation