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