Sound Polymorphic Type Inference for Objects.

Jonathan Eifrig Scott F. Smith Valery Trifonov

Published in: OOPSLA (1995)

Keyphrases

multiple objects
data objects
object model
complex scenes
d objects
neural network
real world objects
real time
probabilistic inference
partial occlusion
graphical models
three dimensional
object level
multiple types
inference process
type checking
object oriented languages