9 ms·Java Has Type Inference and Refinement Types (But With Strange Restrictions)1 points by juanpablo 17y ago