Union Types Joshua Dunfield Max Planck Institute / /
IndustryTerm
intersection type systems / type systems / otherwise more-or-less-conventional type systems / /
Organization
unit→unit / U.S. Securities and Exchange Commission / Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Kaiserslautern and Saarbr¨ucken / Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Kaiserslautern / eta / /