Modular monadic meta-theory.

Benjamin Delaware Steven Keuchel Tom Schrijvers Bruno C. d. S. Oliveira

Published in: ICFP (2013)

Keyphrases

deductive databases
theoretical basis
real world
formal theory
computer vision
computational model
general theory
databases
neural network
case study
image segmentation
search algorithm
theoretical framework
information theory