Take a photo of a barcode or cover
Read With Others
Book Information
214 pages • paperback • 2 editions
ISBN/UID: 9783540421962
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 20 Jun 2001
Description
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 provid...
Community Reviews
Content Warnings
214 pages • paperback
ISBN/UID: 9783540421962
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 20 Jun 2001
Description
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 provid...
Community Reviews
Content Warnings