A type system for higher-order modules.

Derek Dreyer Karl Crary Robert Harper

Published in: POPL (2003)

Keyphrases

higher order
pairwise
artificial intelligence
multi agent
markov random field
natural images
high order
search engine
information systems
knowledge base
search algorithm