A Type-Theoretic Approach to Higher-Order Modules with Sharing.

Robert Harper Mark Lillibridge

Published in: POPL (1994)

Keyphrases

higher order
natural images
high order
pairwise
data sharing
real time
databases
markov random field
decision making
image processing
data structure
expert systems
functional modules