Dynamic Typing as Staged Type Inference.

Mark Shields Tim Sheard Simon L. Peyton Jones

Published in: POPL (1998)

Keyphrases

dynamically changing
bayesian networks
database
data sets
artificial intelligence
decision making
databases
neural network
information systems
website
video sequences
mobile devices
multiresolution
mobile phone
dynamic environments