Types in Compilation

This text presents the proceedings of the 2nd International Workshop on Types in Compilation, held in Kyoto in March 1998. The 13 selected papers and three invited papers are organized into topical sections which cover typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation and distributed computing.