Types and Programming, Languages
by Benjamin C. Pierce
Should I read this?
appears in Computer Science, Programming, and Programming.
A comprehensive introduction to type systems and Programming, languages.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 systemsand of Programming, languages from a typetheoretic perspectivehas ...
Looking for Kindle, hardcover, paperback, or audiobook editions?
Check formats, pricing, and current availability directly.
Why recommended
appears in Computer Science, Programming, and Programming.
Recommendation Signals
Recommendation proof is sourced from public posts, interviews, reading lists, and cited references.
No verified recommendation proof available yet.
Appears In
Not sure if this is the right fit?
Consider Agile Software Development, Principles, Patterns, and Practices by Robert C. Martin.
“Practical, code-first manual aimed at hands-on developers; it mixes object-oriented design, UML, design patterns, and Agile/XP practices with long C and Java examples. The most useful parts are concrete problem-solving walk-throughs: refactorings, design choices, and pattern implementations you can copy into real projects. Limitations: heavy on language-specific listings and prescriptive editorializing — the tone can feel didactic, and some examples read dated compared with modern language features. Not a gentle introduction; it's best used slowly and with a code editor open.”
Similar books
Agile Software Development, Principles, Patterns, and Practices
Robert C. Martin
Effective Modern C
Scott Meyers
Coding for Kids
Adrienne Tacke
Artificial Intelligence,
Stuart Russell
The Art of R Programming,
Norman Matloff
Game Engine Architecture,
Jason Gregory
The Ruby Programming, Language
David Flanagan
Practical ObjectOriented Design
Sandi MetzHow recommendation signals are reviewed
Each recommendation is collected from a public source — interviews, articles, or curated lists — and linked to its original URL. Books with many verifiable recommendations from respected people rank higher.
Types and Programming, Languages
View on Amazon →