Browse By Department
Lecture Notes in Computer Science: Types in Compilation: Third International Workshop Tic 2000 Montreal Canada September 21 2000. Revised Selected Papers (Paperback)
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 expressive yet easy to use type systems for high-level programming languages. Types provide not...
$54.99 Free Delivery