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

1 points | by fanf2 8 hours ago