Developing the Algebraic Hierarchy with Type Classes in Coq.

Bas Spitters Eelis van der Weegen

Published in: ITP (2010)

Keyphrases

class hierarchy
neural network
artificial intelligence
real time
information retrieval
learning algorithm
website
class labels
hierarchical structure
multiple types
algebraic structures