Type-safe higher-order channels in ML-like languages.

Published in: ICFP (2007)

Keyphrases

higher order
type checking
maximum likelihood
expressive power
natural images
data sets
high order
language identification
multiscale
conditional random fields
language independent
computer programs
lambda calculus