Just do it: simple monadic equational reasoning.

Jeremy Gibbons Ralf Hinze

Published in: ICFP (2011)

Keyphrases

deductive databases
data sets
machine learning
highly reliable
artificial intelligence
three dimensional
database
real time
databases
neural network
information retrieval