2004-01-16 (revised 2004-01-19):
Tridirectional Typechecking
, POPL '04, Venice, Italy:
PDF with overlays
; see also the
paper
Talks