Teodoro Freund Universidad de Buenos Aires Buenos Aires, Argentina tfreund95@gmail.comUnion and Intersection Contracts • June 13th, 2021
Union 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.
