Type-based confinement.

Tian Zhao Jens Palsberg Jan Vitek

Published in: J. Funct. Program. (2006)

Keyphrases

domain knowledge
three dimensional
database systems
multi agent
cooperative
pattern recognition
data analysis
artificial neural networks
co occurrence