Torbjörn Ekman, Görel Hedin. Pluggable checking and inferencing of nonnull types for Java. Journal of Object Technology, 6(9):455-475, 2007. [doi]
@article{EkmanH07:0,
title = {Pluggable checking and inferencing of nonnull types for Java},
author = {Torbjörn Ekman and Görel Hedin},
year = {2007},
url = {http://www.jot.fm/issues/issue_2007_10/paper23/index.html},
tags = {type inference, Java, type checking},
researchr = {https://researchr.org/publication/EkmanH07%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Object Technology},
volume = {6},
number = {9},
pages = {455-475},
}