- Page d'accueil /
- Livres /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
0 ratings
Numéro d'article:
195904411
Types & Programming Languages (The MIT Press)
87% des répondants recommanderaient ceci à un ami
Numéro d'article:
195904411
MGA 508158
Détails du prix
Hors frais de livraison et de douane ( Les frais de livraison et de douane seront calculés lors du paiement )
*Tous les articles seront importés depuis Royaume-Uni
50%
0 ratings
Écrire un commentaire
En stock
Importé depuis la boutique UK
QTY:
Il ne reste que 7 articles en stock.
Commandez maintenant et recevez votre commande aux alentours du Sunday, Octobre 18
Transaction sécurisée
Ubuy s'engage à protéger votre sécurité et votre confidentialité. Notre système avancé de sécurité des paiements garantit la confidentialité en chiffrant vos informations lors de la transmission grâce aux protocoles AES (Advanced Encryption Standards) et SSL (Secure Socket Layer). Vos coordonnées de paiement sont 100 % sécurisées car nous ne partageons pas vos informations de paiement avec des vendeurs tiers.
Nos meilleurs partenaires logistiques
Livraison
rapide
Retour
gratuit*
Emballage sécurisé
Produits 100 % originaux
Conformité PCI DSS
Certifié ISO 27001
Note: Step Up Voltage Transformer required for using electronics products of Royaume-Uni store (230 V). Recommended power converters Acheter maintenant.
Détails du produit
- 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.
| Publisher | MIT Press |
| Publication date | 5 Feb. 2002 |
| Edition | 1st |
| Language | English |
| Print length | 648 pages |
| ISBN-10 | 0262162091 |
| ISBN-13 | 978-0262162098 |
| Item weight | 1.31 kg |
| Dimensions | 23.88 x 20.62 x 3.61 cm |
DESCRIPTION DU PRODUIT
Vous avez une question ? Chattez avec nous
Questions et réponses des clients
-
question:
Comment acheter Types & Programming Languages (The MIT Press) en ligne sur Ubuy ?
répondre: Il est facile d'acheter Types & Programming Languages (The MIT Press) en ligne sur Ubuy.. Il vous suffit de rechercher le produit, de choisir votre mode d'expédition lors du paiement et de le faire livrer à votre emplacement. -
question:
Types & Programming Languages (The MIT Press) est-il disponible pour effectuer des achats en ligne à Madagascar ?
répondre: Oui, chez Ubuy Madagascar, ce produit est disponible pour vous à un prix raisonnable.. Le Types & Programming Languages (The MIT Press) n'est pas disponible localement mais vous pouvez nous faire confiance avec nos services d'expédition express. -
question:
Combien de temps faut-il pour obtenir le produit après avoir passé la commande ?
répondre: Le délai de livraison de votre produit commandé varie en fonction de ce que vous avez commandé et de la méthode d'expédition que vous avez choisie.. Le délai de livraison estimé est mentionné lors du processus de commande, alors soyez insouciant lors de vos achats.
Functional Programming Editorial Review
Aucune critique éditoriale trouvée
Avis et évaluations clients
95 évaluations des clients
-
5 étoile
86%
-
4 étoile
11%
-
3 étoile
1%
-
2 étoile
2%
-
1 étoile
0%
Donnez votre avis sur ce produit
Partagez votre avis avec d'autres clients
Historique des prix du produit
Informations importantes
- Limitations : Pour les produits expédiés à l'international, veuillez noter que toute garantie du fabricant peut ne pas être valide ; les options de service du fabricant peuvent ne pas être disponibles ; les manuels, instructions et avertissements de sécurité des produits peuvent ne pas être dans les langues du pays de destination ; les produits (et les matériaux qui les accompagnent) peuvent ne pas être conçus conformément aux normes, spécifications et exigences d'étiquetage du pays de destination ; et les produits peuvent ne pas être conformes à la tension et aux autres normes électriques du pays de destination (nécessitant l'utilisation d'un adaptateur ou d'un convertisseur le cas échéant). Il incombe au destinataire de s'assurer que le produit peut être importé légalement dans le pays de destination. En cas de commande auprès d'Ubuy ou de ses filiales, le destinataire est l'importateur officiel et doit se conformer à toutes les lois et réglementations du pays de destination.
- Tous les produits listés sur Ubuy ne sont pas à vendre, Ubuy étant un moteur de recherche mondial. Les produits sont soumis aux réglementations en matière d'exportation et de commerce.
MGA 508158
Commandez maintenant et recevez votre commande aux alentours du Sunday, Octobre 18
This item is not restrict in my country.(Please click on above link if this item is not restrict in your country, So our team will review and allow.)
QTY:
Il ne reste que 7 articles en stock.
Transaction sécurisée
Conforme PCI DSS et certifié ISO 27001:2022, avec des paiements chiffrés et une protection complète de l'acheteur pour chaque commande.
Nos meilleurs partenaires logistiques
Livraison transfrontalière la plus rapide
Assurance Ubuy
Profitez d'une expérience d'achat sereine avec des produits 100 % originaux, une sécurité de paiement conforme PCI DSS, une protection des données certifiée ISO 27001, la livraison transfrontalière la plus rapide, les retours gratuits* et un emballage sécurisé pour chaque commande.