A certified framework for compiling and executing garbage-collected languages.

Andrew McCreight Tim Chevalier Andrew P. Tolmach

Published in: ICFP (2010)

Keyphrases

lightweight
main contribution
neural network
theoretical framework
learning algorithm
image sequences
probabilistic model
databases
data mining
e learning
web services
bayesian networks
multiscale
expressive power
bayesian framework
conceptual framework