Typed closure conversion preserves observational equivalence.

Amal Ahmed Matthias Blume

Published in: ICFP (2008)

Keyphrases

higher order
lambda calculus
relational databases
strictly convex
fixed order
artificial neural networks
database
pairwise
search algorithm
multiscale
special case
image processing
programming language
datalog programs
computer vision
genetic algorithm
data mining