On Sapphire and type-safe languages.

Andrew K. Wright

Published in: Commun. ACM (2003)

Keyphrases

type checking
expressive power
language independent
databases
data mining
learning algorithm
database systems
data structure
mobile robot
text classification