2010-07-09:
Untangling Typechecking of Intersections and Unions
, ITRS '10, Edinburgh:
PDF
; see also the
paper
Talks