Deciding Type Equivalence with Singleton Kinds.

Christopher A. Stone Robert Harper

Published in: POPL (2000)

Keyphrases

image processing
databases
input output
artificial intelligence
knowledge base
high level
similarity measure
multi agent systems