Java and scala's type systems are unsound: the existential crisis of null pointers.

Nada Amin Ross Tate

Published in: OOPSLA (2016)

Keyphrases

intelligent systems
complex systems
data mining
artificial intelligence
web services
programming language
computer systems
information retrieval
multimedia
multi agent
open source
distributed systems
query answering