Using Coq to write fast and correct Haskell.

John Wiegley Benjamin Delaware

Published in: Haskell (2017)

Keyphrases

programming language
image segmentation
database
neural network
machine learning
formal methods
data sets
databases
information systems
case study
multi agent
database management systems
theorem prover
functional programming