Static typing with value space-based subtyping.

Alexander Paar Stefan Gruner

Published in: SAICSIT (2011)

Keyphrases

three dimensional
space time
data sets
website
multi agent
wide range
lower bound