Generic Unification via Two-Level Types and Parameterized Modules.

Published in: ICFP (2001)

Keyphrases

higher order
wide range
general purpose
generic model
real time
databases
neural network
learning algorithm
computer vision
image processing
high level
wireless sensor networks
building blocks
functional modules
modular structure