Constructive Type Classes in Isabelle.

Florian Haftmann Makarius Wenzel

Published in: TYPES (2006)

Keyphrases

theorem prover
machine learning
data mining
three dimensional
user interface
database
real world
face recognition
sufficient conditions