2007-04-27:
Unifying Principles of Type Refinements
A Unified System of Type Refinements
:
PDF with overlays
(best for onscreen viewing)
Talks