Type Assignment for Intersections and Unions in Call-by-Value Languages.

Jana Dunfield, Frank Pfenning

Browse the full FOSSACS paper archive.