Teodoro Freund Universidad de Buenos Aires Buenos Aires, Argentina tfreund95@gmail.comJune 13th, 2021
FiledJune 13th, 2021Union and intersection types are a staple of gradually typed language such as TypeScript. While it’s long been recog- nized that union and intersection types are difficult to ver- ify statically, it may appear at first that the dynamic part of gradual typing is actually pretty simple.