J james-iry.blogspot.com Java Has Type Inference and Refinement Types (But With Strange Restrictions) 1 points juanpablo 17 years ago 0 comments