A Partial Type Checking Algorithm for Type: Type.

Andreas Abel Thorsten Altenkirch

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

type checking
preprocessing
database
object recognition
knowledge representation
knn
general purpose
tree structure