typed-based analysis and applications

• To: types@cis.upenn.edu
• Subject: typed-based analysis and applications
• From: Jens Palsberg <palsberg@cs.purdue.edu>
• Date: Sat, 9 Jun 2001 18:05:05 -0500 (EST)

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

• Prev: Ann: new research report
• Next: LICS 2001 Final Program
• Index(es):
  • Main
  • Thread