Type unification for structural types in Java (Extended Abstract).

Martin Plümicke

Published in: UNIF (2016)

Keyphrases

extended abstract
multiple types
object oriented
structural information
source code
lightweight
strongly typed
structural model
structural features
theorem proving
operating system
databases
open source
higher order
general purpose
software engineering
information systems