2010-07-09: Annotations for Intersection Typechecking, ITRS '12, Dubrovnik: PDF; see also the paper
Talks