Java Type Unification with Wildcards.

Martin Plümicke

Published in: INAP/WLP (2007)

Keyphrases

pattern matching
programming language
web applications

lightweight
object oriented
higher order

data mining
artificial intelligence
information systems

database applications
theorem proving
java programs