Java Has Type Inference and Refinement Types (But With Strange Restrictions)(james-iry.blogspot.com)1 points by juanpablo 16 years ago | 0 commentsNo comments yet