Workshop Program: Types in Compilation 2000

• To: "'types@cis.upenn.edu'" <types@cis.upenn.edu>
• Subject: Workshop Program: Types in Compilation 2000
• From: Robert Harper <Robert.Harper@cs.cmu.edu>
• Date: Tue, 5 Sep 2000 18:01:26 -0400
• Delivery-Date: Tue Sep 5 14:18:05 2000

The final program for TIC 2000 to be held in Montreal as part of PLI 2000 is
now available at http://www.cs.cmu.edu/~crary/tic00.

Registration information for the workshop is available from the PLI 2000 web
page, http://www.cs.yorku.ca/pli-00/.

Robert Harper
Program Chair

• Prev: Postdoc and PhD Student Position Announcement
• Next: 12th Nordic workshop on programming theory
• Index(es):
  • Main
  • Thread