Static Typing for Dynamic Messages.

Susumu Nishimura

Published in: POPL (1998)

Keyphrases

dynamic environments
dynamic analysis
real time
data sets
computer vision
dynamic constraints
real world
machine learning
image processing
multi agent
computational complexity
dynamically updated