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

by Robert Harper

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... This description may be from another edition of this product.

• 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"