Implementing Hash-Consed Structures in Coq.

Thomas Braibant Jacques-Henri Jourdan David Monniaux

Published in: ITP (2013)

Keyphrases

hash functions
neural network
computer vision
case study
database systems
data structure
efficient implementation
tree structures