Types and Programming Languages

Benjamin C Pierce

591 évaluations par Goodreads

Langue : anglais

Edité par MIT Press Ltd, 2002

0262162091 / 9780262162098

Vendeur : World of Books (was SecondSale), Montgomery, IL, Etats-UnisWorld of Books (was SecondSale)

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 20 décembre 2007

Livre relié

Etat: Occasion - Satisfaisant

EUR 61,11

 Frais de port gratuits 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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

N° de réf. du vendeur 00109483662

Titre
Types and Programming Languages
Auteur
Benjamin C Pierce
Éditeur
MIT Press Ltd
Année de publication
2002
État de l'article
Good
Reliure
Hardback
Langue
anglais
ISBN à 10 chiffres
0262162091
ISBN à 13 chiffres
9780262162098

World of Books (was SecondSale)

Montgomery, IL, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 20 décembre 2007

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article4 à 12 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 0,00EUR 9,63
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

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

Description de la boutique

Founded in 2002, World of Books is a leading online destination for buying and selling both preloved and new books, committed to making sustainable reading accessible to all. With a mission to help people read more and waste less, World of Books offers a huge range of affordable, high-quality books — giving both new and preloved titles a second life. The company also operates World of Books – Sell Your Books, an easy-to-use platform that allows customers to trade in unwanted books for cash, helping to keep books in circulation while promoting sustainability. As a Certified B Corp, World of Books is driven by a vision to become the world’s largest and most sustainable dedicated online bookstore. The company measures its success through the positive environmental impact it creates, the value it provides to customers, and its ability to operate profitably while supporting its sustainable mission …

Profil professionnel du vendeur

SBYB, Inc.

900 Knell Rd
Montgomery, IL Etats-Unis 60538