Types and Programming Languages

Available
4.9/5.0
21,000+ Reviews
Bookshop.org has the highest-rated customer service of any bookstore in the world
Product Details
Price
$114.00
Publisher
MIT Press
Publish Date
Pages
648
Dimensions
8.12 X 9.4 X 1.42 inches | 2.8 pounds
Language
English
Type
Hardcover
EAN/UPC
9780262162098

Earn by promoting books

Earn money by sharing your favorite books through our Affiliate program.

Become an affiliate
About the Author
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Reviews
--Robin Milner, Computer Laboratory, University of Cambridge
" Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." --Robin Milner, Computer Laboratory, University of Cambridge
& quot; Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects.& quot; --Robin Milner, Computer Laboratory, University of Cambridge
"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects."--Robin Milner, Computer Laboratory, University of Cambridge