A logical analysis of aliasing in imperative higher-order functions.

Martin Berger Kohei Honda Nobuko Yoshida

Published in: ICFP (2005)

Keyphrases

higher order
statistical analysis
data sets
image analysis
high frequency
database
databases
learning algorithm
feature extraction
video sequences
data analysis
pairwise
quantitative analysis
lambda calculus