[Prev][Next][Index][Thread]

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 
     http://www.cs.purdue.edu/homes/palsberg/tba/
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
palsberg@cs.purdue.edu