Cover of Types and Programming Languages

Types and Programming Languages

by Benjamin C. Pierce

2002 645 pages eng

Langages de programmation Programming languages (Electronic computers) Programming Languages Computers General

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

Read on Archive.org Open Library Toronto Public Library Libby Amazon

Read online

Reader not loading? Open it on Archive.org instead.

More like this

C++

Herbert Schildt

1991

Programming Perl

Tom Christiansen, Christiansen, Larry Wall et al.

1990 ★ 3.8

Principles of compiler design

Alfred V. Aho, Jeffrey D. Ullman

1977

Programming languages

Terrence W. Pratt, Marvin V. Zelkowitz

1983

Effective Modern C++: 42 Specific Ways to Improve Your Use of C++11 and C++14

Scott Meyers

2014 ★ 4.7

Concepts of programming languages

Robert W. Sebesta

1989