Types and Programming Languages...

Types and Programming Languages...

Publisher
The MIT Press
Published
2002
Pages
623
ISBN-13
9780262162098
Format
other
Language
English

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 comp…

This book is not available
Best buying and renting options — totals include estimated shipping when seller shipping is unavailable
Store Condition Deals & Coupons Price Est. Shipping Total Buy

At Windsorbooks, we compare prices from trusted sellers so you can buy, rent, or sell textbooks at the best total price — shipping included.

As an Amazon Associate, Windsorbooks.com may earn a small commission on qualifying purchases.