Types and Programming Languages Quotes

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Types and Programming Languages (Mit Press)

Types and Programming Languages by Benjamin C. Pierce
588 ratings, 4.28 average rating, 25 reviews
Open Preview

Types and Programming Languages Quotes Showing 1-1 of 1

“A type system can be regarded as calculating a kind of static approximation to the run-time behaviours of the terms in a program.”
― Benjamin C. Pierce, Types and Programming Languages

tags: static-typing, type-systems

0 likes

All Quotes
Quotes By Benjamin C. Pierce

Types and Programming Languages Quotes

See a Problem?

Preview — Types and Programming Languages by Benjamin C. Pierce