2005-05-06 (revised 2005-05-10):
Applying Type Refinements
, CMU SCS
Student Seminar Series
:
PDF with overlays
(best for onscreen viewing)
Talks