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:
- Send an e-mail message to
muller@cs.bc.edu
containing the title, authors' contact information,
and an abstract (not to exceed 200 words) in ASCII.
- 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:
Robert Muller
Computer Science Department
Boston College
Chestnut Hill, MA 02167
Authors are strongly encouraged to submit their summaries via email.