Modular type classes.

Derek Dreyer Robert Harper Manuel M. T. Chakravarty Gabriele Keller

Published in: POPL (2007)

Keyphrases

multi agent
real time
neural network
database
learning algorithm
artificial intelligence
e learning
three dimensional
medical images
modular structure