A Nominal Theory of Objects with Dependent Types.

Martin Odersky Vincent Cremet Christine Röckl Matthias Zenger

Published in: ECOOP (2003)

Keyphrases

d objects
theoretical framework
theoretical basis
object level
case study
multiscale
viewpoint
object segmentation
general theory
multi object
multiple types
formal theory
learning algorithm
individual objects
similar objects
spatial objects
complex scenes
multi view
data model
spatio temporal
artificial intelligence