The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expre

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Ja

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience

A compiler translates a program written in a high level language into a program written in a lower level language. For students of computer science, building a