Dependent Types for Class-based Mutable Objects.

Joana Campos Vasco T. Vasconcelos

Published in: ECOOP (2018)

Keyphrases

object classes
multiple types
databases
d objects
object level
multiple objects
learning algorithm
knowledge base
website
case study
support vector machine
spatial relations
object model
complex scenes
object instances