Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

by Robert Harper

Book Overview

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 only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers...

• Format: Paperback
• Language: English
• ISBN: 3540421963
• ISBN13: 9783540421962
• Release Date: June 2001
• Publisher: Springer
• Length: 214 Pages
• Weight: 1.17 lbs.
• Dimensions: 0.5" x 8.5" x 11.0"