Program-ing finger trees in Coq.

Matthieu Sozeau

Published in: ICFP (2007)

Keyphrases

decision trees
theorem prover
formal methods
real time
tree models
neural network
programming environment
classification trees
program execution
data mining
e learning
relational databases
static analysis
binary tree