2007-10-05:
Greedy Bidirectional Polymorphism
, ML Workshop '09, Edinburgh:
PDF with overlays
; see also the
paper
Talks