PL Foundations and Applications of Intersection and Union Types (PDF) Embedde PDF is not supported, <a href="/pdfs/Foundations_and_Applications_of_Intersection_and_Union_Types.pdf"> please clike here to download.</a>