Sign in

Deciding Type Equivalence with Singleton Kinds.

Christopher A. StoneRobert Harper
Published in: POPL (2000)
Keyphrases
  • image processing
  • databases
  • input output
  • artificial intelligence
  • knowledge base
  • high level
  • similarity measure
  • multi agent systems