Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof.

Thomas Winant Dominique Devriese

Published in: CoRR (2018)

Keyphrases

database systems
neural network
real world
genetic algorithm
image processing
decision trees
expert systems
information extraction
theorem proving