typed-based analysis and applications

To the Types Community,

Please send me references to papers on type-based analysis and applications.
On Monday June 18, I will give an invited talk at PASTE 2001 on type-based
analysis and applications.  As preparation, I have built a webpage 
with links to about 60 papers in the area, and I have written a short survey 
paper which is also available from that webpage.  However, there may well be 
relevant papers that I have missed; please let me know about them by email.

Jens Palsberg
Purdue University