Principal Type Schemes for Modular Programs.

Derek Dreyer Matthias Blume

Published in: ESOP (2007)

Keyphrases

data sets
neural network
real world
social networks
image processing
image segmentation
bayesian networks
reinforcement learning
information technology
hidden markov models