@conference {amin2016java,
	title = {Java and Scala{\textquoteright}s type systems are unsound: the existential crisis of null pointers},
	booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
	year = {2016},
	note = {(code)},
	pages = {838{\textendash}848},
	publisher = {ACM},
	organization = {ACM},
	author = {Amin, Nada and Tate, Ross}
}
