(Set Theoretical Types) Programming with union, intersection, and negation types [pdf]irif.fr3 points·weatherlight··0 commentsOpen articleSaveView on HN