Types and Programming Languages by Benjamin C. Pierce - Shelfari

Shelfari: The Site for Books & Readers

join now| sign in| help

advanced search

Search

Books

Welcome to the beta version of Shelfari’s new Book Detail pages!

These pages are editable by the community, so please contribute! Click here to learn more about this feature. We’d love to hear your feedback.

see page historyNotify me when this page changes.

Description

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... read more

Ridiculously Simplified Synopsis

Write a ridiculously simplified synopsis.

Summary

Write a summary of the plot or a synopsis of this book.

Cast of Characters/Important People

List the characters or important people from this book.

Popular Covers

Choose your book’s cover

Memorable Quotes

List your favorite quotations from this book.

First Sentence

Add the first sentence of this book.

Table of Contents

List the chapters of this book.

Glossary

List the unique or unusual words from this book with their definitions.

Errata

List any errors found in this book with their corrections.

Series

List the series to which this book belongs.

Authors & Contributors

Benjamin C. Pierce (Author)

Awards

Add awards that the author(s) received for this book.

Popular Tags

More Books Like This

List the books that are similar to this one.

Books with Additional Background Information

List the books that contain additional information about this book.

Books That Influenced This Book

List the books that influenced this book.

Books Influenced by This Book

List the books that were influenced by this book.

If you have any suggestions for how we can improve this page or if there are sections that you would like us to add, please let us know.