Union, intersection, negation을 포함한 건전하고 완전한 flow 타이핑 [pdf]

Sound and complete flow typing with unions, intersections and negations [pdf]