Extending Dylan's type system for better type inference and error detection.

Published in: ILC (2010)

Keyphrases

error correction
error detection
inference process
digital libraries
expert systems
fuzzy logic
intelligent agents
bayesian inference