3 ms·Sound and Complete Flow Typing with Unions, Intersections and Negations (2013)1 points by peterkelly 4y ago