Sign in

A type system for higher-order modules.

Derek DreyerKarl CraryRobert 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