Types and Programming Languages by Benjamin C. Pierce
Types and Programming Languages
—
Benjamin C. Pierce
Add cover

Types and Programming Languages

Benjamin C. Pierce

648 pages • first pub 2002 (editions)

nonfiction computer science technology challenging informative slow-paced
Powered by AI (Beta)
Loading...

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 t...

Read more

Community Reviews

Loading...

Content Warnings

Loading...