C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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