No Subject

• From: types-dist-request@dcs.gla.ac.uk
• Date: Tue, 25 Oct 94 08:41:16 EDT
• Apparently-To: <na-types@theory.lcs.mit.edu>
• Apparently-To: <evihcra-sepyt@theory.lcs.mit.edu>

• Prev: ILPS94 e-mail registration
• Next: Paper announcement on OO type systems
• Index(es):
  • Main
  • Thread