- Halaman Beranda /
- Buku /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
0 ratings
Barang #:
195904411
Types & Programming Languages (The MIT Press)
87% of respondents would recommend this to a friend
Barang #:
195904411
USD 111
Price Details
Excluding Shipping & Custom charges ( Shipping and custom charges will be calculated on checkout )
*All items will import from Inggris
50%
0 ratings
Tulis ulasan
Persediaan
Diimpor dari toko UK
QTY:
Stok hanya tersisa 7 barang.
Pesan sekarang dan dapatkan kira-kira pada Sunday, Oktober 18
Secured transaction
Ubuy works hard to protect your security and privacy. Our advanced payment security system ensures confidentiality by encrypting your information during transmission using AES (Advanced Encryption Standards) and SSL (Secure Socket Layer) protocols. Your payment details are 100% secure as we do not share your payment details with third party sellers.
Our Top Logistics Partners
Fast
Shipping
Free
Return*
Secure Packaging
100% Original Products
PCI DSS Compliance
ISO 27001 Certified
Rincian Produk
- 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 |
DESKRIPSI PRODUK
Punya Pertanyaan? Berbincanglah dengan kami
Pertanyaan & Jawaban Pelanggan
-
pertanyaan:
Bagaimana Cara Berbelanja Types & Programming Languages (The MIT Press) Online Dari Ubuy?
menjawab: Sangat mudah untuk berbelanja Types & Programming Languages (The MIT Press) online dari Ubuy.. Anda hanya perlu mencari produk, memilih metode pengiriman Anda saat check out dan mengirimkannya ke lokasi Anda. -
pertanyaan:
Apakah Types & Programming Languages (The MIT Press) Tersedia untuk Berbelanja Online di Timor-Leste?
menjawab: Ya, di Ubuy Timor-Leste produk ini tersedia untuk Anda berbelanja dengan harga yang wajar.. Types & Programming Languages (The MIT Press) tidak tersedia secara lokal tetapi Anda dapat mempercayai kami dengan layanan pengiriman ekspres kami. -
pertanyaan:
Berapa Lama Waktu yang Dibutuhkan untuk Mendapatkan Produk Setelah Menempatkan Pesanan?
menjawab: Waktu pengiriman produk pesanan Anda bervariasi sesuai dengan apa yang Anda pesan dan metode pengiriman yang Anda pilih.. Estimasi waktu pengiriman disebutkan saat proses checkout, jadi berhati-hatilah saat berbelanja.
Functional Programming Editorial Review
Ulasan editorial tidak ditemukan
Customer Reviews & Ratings
95 peringkat pelanggan
-
5 bintang
86%
-
4 bintang
11%
-
3 bintang
1%
-
2 bintang
2%
-
1 bintang
0%
Ulas produk ini
Bagikan pikiran Anda kepada pelanggan lain
Product Price History
Informasi penting
- Batasan : Untuk produk yang dikirim secara internasional, harap diperhatikan bahwa garansi pabrik mungkin tidak berlaku; pilihan layanan pabrikan mungkin tidak tersedia; manual produk, instruksi, dan peringatan keselamatan mungkin tidak tersedia dalam bahasa negara tujuan; produk (dan material penyerta) mungkin tidak dirancang sesuai standar, spesifikasi, dan persyaratan pelabelan negara tujuan; dan produk mungkin tidak sesuai dengan voltase negara tujuan dan standar kelistrikan lainnya (memerlukan penggunaan adaptor atau konverter jika tersedia). Penerima bertanggung jawab untuk memastikan bahwa produk tersebut dapat diimpor secara sah ke negara tujuan. Saat memesan dari Ubuy atau afiliasinya, penerima tercatat sebagai importir dan harus mematuhi semua hukum dan peraturan negara tujuan.
- Tidak semua produk yang terdaftar di Ubuy sedang dijual, karena Ubuy adalah mesin pencari global. Produk tunduk pada peraturan ekspor/perdagangan.
USD 111
Pesan sekarang dan dapatkan kira-kira pada Sunday, Oktober 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:
Stok hanya tersisa 7 barang.
Secured transaction
PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.
Our Top Logistics Partners
Fastest cross-border delivery
Ubuy Assurance
Experience worry-free shopping with 100% original products, PCI DSS-compliant payment security, ISO 27001-certified data protection, the fastest cross-border delivery, free returns *, and secure packaging on every order.