A type system equivalent to static single assignment.

Yutaka Matsuno Atsushi Ohori

Published in: PPDP (2006)

Keyphrases

case study
cooperative
natural language
expert systems
database
learning algorithm
decision making
high quality
bayesian networks
relational databases
special case