Springer Types in Compilation (English, Special Edition, Robert Harper)

About the Book

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 c…

Why You Should Read This Book

• Written by acclaimed author Robert Harper
• Published by Springer, a respected name in academic and professional publishing
• Covers the domain of Compilers with depth and clarity
• Available in English — ideal for students, researchers, and professionals alike
• A trusted reference work that belongs on every serious reader's shelf

Product Details

This Special Edition of Types in Compilation is published by Springer and carries ISBN-13 9783540421962. Packaged securely for delivery across India, this edition is ideal for personal libraries, classroom use, and professional reference.

Who Is This Book For?

Whether you are a student preparing for advanced coursework, a researcher deepening your expertise, or a professional staying current with the field, Types in Compilation by Robert Harper is an excellent choice. Order your copy today from BookBajar and enjoy free shipping with Cash on Delivery available across India.