Joseph Gil Itay Maman Whiteoak: introducing structural typing into java. 73-90 2008 OOPSLA http://doi.acm.org/10.1145/1449764.1449771 conf/oopsla/2008 db/conf/oopsla/oopsla2008.html#GilM08