2003-04-08:
Type Assignment for Intersections and Unions in Call-by-Value Languages
, FOSSACS '03, Warsaw, Poland:
PDF
(or
PDF with overlays
); see also the
paper
Talks