The Little Typer

Langue : anglais

Edité par MIT Press, 2018

0262536439 / 9780262536431

Partenaire historique

Vendeur : Powell's Bookstores Chicago, ABAA, Chicago, IL, Etats-UnisPowell's Bookstores Chicago, ABAA

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 25 février 1998

Membre d’une association professionnelle : ABAAILAB

Livre broché

Etat: Occasion - Assez bon

EUR 21,21

EUR 4,48 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Pap. Minor shelf wear. Else a bright, clean copy. An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursion-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time. .…

N° de réf. du vendeur 2042756

Titre
The Little Typer
Auteur
Friedman, Daniel P.; Christiansen, David Thrane
Éditeur
MIT Press
Année de publication
2018
État de l'article
Very Good
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
0262536439
ISBN à 13 chiffres
9780262536431
Illustrateur
Bibby, Duane
Poids de l'article
1,5 livre
Catalogues du vendeur
Science & Natural History

Powell's Bookstores Chicago, ABAA

Chicago, IL, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 25 février 1998

Membre d’une association professionnelle :

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

Article5 à 14 jours ouvrés5 à 14 jours ouvrés
Premier articleEUR 4,48EUR 4,48
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

Independent Bookstores since 1971.

Spécialité

Philosophy, Medieval Studies, Art & Architecture, Mathematics & Physics, Literary Criticism, Ancient History, Social Sciences, Americana, Theology, Anthropology & Archaeology

Membre d’une association professionnelle

  • Antiquarian Booksellers' Association of America
  • International League of Antiquarian Booksellers
Les membres de ces associations s'engagent à respecter des critères de qualité particulièrement contraignants. Ils se portent garants de l'authenticité de tous les articles proposés à la vente. Ils fournissent des descriptions détaillées et professionnelles, signalent tous défauts et/ou traitements de restauration importants, établissent des prix clairs et précis et font preuve d'équité et d'honnêteté lors de l'achat d'un article.

Profil professionnel du vendeur

Powell's Bookstores Chicago, ABAA

1501 E. 57th Street
Chicago, IL Etats-Unis 60637