Atrás

SKU/Artículo: AMZ-B09L77H3ZJ

Types and Programming Languages

Format:

Hardcover

Kindle

Detalles del producto

Disponibilidad:
En stock

Peso con empaque:
1.50 kg

Devolución:
Sí

Condición
Nuevo

Producto de:
Amazon

Viaja desde
USA

Sobre este producto

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.

S/ 655.91

44% OFF

S/ 364.39

S/ 655.91

44% OFF

S/ 364.39

Llega en 5 a 10 días hábiles

con envío

Tienes garantía de entrega

Medios de pago

Cantidad

Medios de pago

Types and Programming Languages

The production of the printed catalogue; the preparation, printing, and publication of catalogues of libraries, museums, art galleries, publishers, ... machine, and an appendix of type faces

Super Comic Drawing Book For Kindergarten Kids: Creative Designed Cover .Printed On Glossy Type Paper.100 Pages of Template Inside.

Blood Sugar Log Book Type 2: Weekly Diabete Record tracker for 2 years of monitoring, 2 Years Daily Blood Sugar Log Book For Diabeti, Cute Blood Sugar ... Glucose Monitoring Log Journal Large Print

Great Type & Lettering Designs

Unsealed: Understanding Old Testament symbols and types (Shadows and types of the bible)

How to Dress For your Shape - Fuller Body Type

Torah Large Print Edition

Not My Andrew!

Calligraphy Workbook (Beginner Practice Book): Beginner Practice Workbook 4 Paper Type Line Lettering, Angle Lines, Tian Zi Ge Paper, DUAL BRUSH PENS

Milky Brew Coffee Face Scrub - Almond Milk - All Skin Types by mCaffeine for Unisex - 2.6 oz Scrub

Coffee Sugar Body Scrub - Coconut - All Skin Types by mCaffeine for Unisex - 8.82 oz Scrub

10FT Angle USB 2.0 Certified 480MBPS Type A Male To B Male Cable, Beige

5Core USB to USB C Cable 5PCS 65W Fast Charging w Data Transfer Durable Black Type C Cords

VidPro USB 2.0 Type-C microSD and SD Card Reader

GA-DE Ultimate Cleanser and Toner - All Skin Types for Women 6.7 oz Cleanser

XIAOMI USB Type-C Cable 100CM Black

Pupa Milano Professionals BB Cream Plus Primer SPF 20 - 001 Nude - All Skin Types for Women 1.69 oz Makeup

Thinking with Type: A Critical Guide for Designers, Writers, Editors, and Students (3rd Edition, Revised and Expanded)

A Type Primer, 2nd Edition

Designing Type

Scotch Heavy Duty Shipping Packing Tape, Clear, Packing Tape for Moving Boxes and Packaging Supplies, 1.88 in. x 22.2 yd., 6 Roll Dispensers, Moving Supplies

Información útil

Centro de ayuda

Todo en un solo lugar

Comprá con tranquilidad

Types and Programming Languages

Productos Relacionados

The production of the printed catalogue; the preparation, printing, and publication of catalogues of libraries, museums, art galleries, publishers, ... machine, and an appendix of type faces

Super Comic Drawing Book For Kindergarten Kids: Creative Designed Cover .Printed On Glossy Type Paper.100 Pages of Template Inside.

Blood Sugar Log Book Type 2: Weekly Diabete Record tracker for 2 years of monitoring, 2 Years Daily Blood Sugar Log Book For Diabeti, Cute Blood Sugar ... Glucose Monitoring Log Journal Large Print

Great Type & Lettering Designs

Unsealed: Understanding Old Testament symbols and types (Shadows and types of the bible)

How to Dress For your Shape - Fuller Body Type

Torah Large Print Edition

Not My Andrew!

Calligraphy Workbook (Beginner Practice Book): Beginner Practice Workbook 4 Paper Type Line Lettering, Angle Lines, Tian Zi Ge Paper, DUAL BRUSH PENS

Otros Productos

Milky Brew Coffee Face Scrub - Almond Milk - All Skin Types by mCaffeine for Unisex - 2.6 oz Scrub

Coffee Sugar Body Scrub - Coconut - All Skin Types by mCaffeine for Unisex - 8.82 oz Scrub

10FT Angle USB 2.0 Certified 480MBPS Type A Male To B Male Cable, Beige

5Core USB to USB C Cable 5PCS 65W Fast Charging w Data Transfer Durable Black Type C Cords

VidPro USB 2.0 Type-C microSD and SD Card Reader

GA-DE Ultimate Cleanser and Toner - All Skin Types for Women 6.7 oz Cleanser

XIAOMI USB Type-C Cable 100CM Black

Pupa Milano Professionals BB Cream Plus Primer SPF 20 - 001 Nude - All Skin Types for Women 1.69 oz Makeup

Thinking with Type: A Critical Guide for Designers, Writers, Editors, and Students (3rd Edition, Revised and Expanded)

A Type Primer, 2nd Edition

Designing Type

Scotch Heavy Duty Shipping Packing Tape, Clear, Packing Tape for Moving Boxes and Packaging Supplies, 1.88 in. x 22.2 yd., 6 Roll Dispensers, Moving Supplies

Compra protegida

¿Cómo comprar?

Garantía de entrega

¿Cómo solicitar una devolución?

Los productos sin devolución son:

¿Cómo comprar?

Hacemos todo por ti

Tarjetas de Débito y Crédito

Pagos a través de PayPal

Tienes garantía de entrega

¡Suscribite y hacé que todo llegue con ofertas!