Authors are encouraged to submit technical summaries of no more than 8 pages. The summaries may describe work-in-progress or work already submitted elsewhere for publication. Topics of interest include: types and compiler verification, type inference algorithms, typed intermediate languages, type-based analysis, typed flow analysis, type-directed optimization and transformation, typed closure conversion, type-directed optimization in object-oriented programming languages, Java byte-code verification, type-directed code generation, representation types, compilation of polymorphism, type specialization, types and abstract interpretation, strictness types, types and memory management, effect systems, separate compilation.

To submit a technical summary, authors should complete the following two steps by the submission deadline:

  1. Send an e-mail message to containing the title, authors' contact information, and an abstract (not to exceed 200 words) in ASCII.
  2. Send the technical summary itself. The summary may be sent either electronically as a platform-independent PostScript file or via post; in the latter case, please send six (6) hard copies of the paper to:

    Authors are strongly encouraged to submit their summaries via email.