Martin Plümicke Intersection types in Java. 181-188 2008 PPPJ http://doi.acm.org/10.1145/1411732.1411757 conf/pppj/2008 db/conf/pppj/pppj2008.html#Plumicke08