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.