Sign in

Type Inference and Type Containment.

John Mitchell
Published in: Semantics of Data Types (1984)
Keyphrases
  • search algorithm
  • databases
  • data sets
  • decision making
  • bayesian networks
  • computational complexity