MIT Press Types and Programming Language

A foundational text that unifies type theory and programming language design, presenting formal systems, proofs, and practical applications in a clear ...

Where to buy (1) Characteristics

Sponsored

MIT Press Types and Programming Language

Textbooks.com

92.04 USD

Price updated on: 24-10-2024 18:22:57

View product deal

General

Brand

Brand: MIT Press

ISBN

Brand: MIT Press 0262162091

Characteristics

Similar products

Logitech G203 LIGHTSYNC Gaming Mouse with Customizable RGB Lighting, Lightweight

Logitech G203 LIGHTSYNC Gaming Mouse with Customizable RGB Lighting, Lightweight

The Mayo Clinic Diabetes Diet, Third Edition : A Weight-Loss Program Designed to Improve Your Type 2 Diabetes

The Mayo Clinic Diabetes Diet, Third Edition : A Weight-Loss Program Designed to Improve Your Type 2 Diabetes

Logitech G203 LIGHTSYNC Gaming Mouse with Customizable RGB Lighting, Lightweight

Logitech G203 LIGHTSYNC Gaming Mouse with Customizable RGB Lighting, Lightweight

The Mayo Clinic Diabetes Diet, Third Edition : A Weight-Loss Program Designed to Improve Your Type 2 Diabetes

The Mayo Clinic Diabetes Diet, Third Edition : A Weight-Loss Program Designed to Improve Your Type 2 Diabetes

Vitalsource Technologies, Inc. Type Systems For Distributed Programs: Components And Sessions

Vitalsource Technologies, Inc. Type Systems For Distributed Programs: Components And Sessions

Vitalsource Technologies, Inc. Types For Proofs And Programs

Vitalsource Technologies, Inc. Types For Proofs And Programs