Types and trace effects of higher order programs.

Christian Skalka Scott F. Smith David Van Horn

Published in: J. Funct. Program. (2008)

Keyphrases

higher order
high order
natural images
pairwise
markov random field
database
neural network
bayesian networks
computer based instruction
data sets
real world
data mining
multiple types