Types and Programming Languages (Hardcover)

Benjamin C. Pierce

591 Bewertungen von Goodreads

Sprache: Englisch

Verlag: MIT Press Ltd, Cambridge, Mass., 2002

0262162091 / 9780262162098

Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 12. Oktober 2005

Hardcover

Zustand: Neu

EUR 112,36

 Versand gratis 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Hardcover. A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. A comprehensive introduction to type systems and programming languages. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Bestandsnummer des Verkäufers 9780262162098

Titel
Types and Programming Languages (Hardcover)
Autor
Benjamin C. Pierce
Verlag
MIT Press Ltd, Cambridge, Mass.
Erscheinungsjahr
2002
Zustand
new
Einband
Hardcover
Sprache
Englisch
ISBN-10
0262162091
ISBN-13
9780262162098

Grand Eagle Retail

Bensenville, IL, USA

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 12. Oktober 2005

Versandkosten innerhalb von USA

Artikel6 bis 14 Werktage6 bis 16 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE USA 19805