3 ms·(Set Theoretical Types) Programming with union, intersection, and negation types [pdf]3 points by weatherlight 3y ago