2007-10-05
Refined typechecking with Stardust
, POPL '07, Freiburg, Germany:
PDF with overlays
; see also the
paper
Talks