- Programming languages (Electronic computers), Programming Languages, Langages de programmation, COMPUTERS
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.
Log it
Sign in to log this.
Character
Cool, earnest, grave and classical in form.
- cooloverwhelming
- earnestironic
- gravecomic
- classical in formformally daring
- contemporarynostalgic
Who loves it, who doesn't
No profiled raters yet.
Ask the title
A yes-or-no question, answered from what people wrote here, on TMDB and on Wikipedia. Never made up.
YesNoUnclear
Reviews
No reviews yet.
About the book
- Author
- Benjamin C. Pierce
- First published
- 2002
- Pages
- 645
- Publisher
- The MIT Press
- Editions
- 1
- Language
- English
- ISBN
- 9780262162098
Where to read
Libraries first: a card gets you most books for nothing. Each opens that service’s page for this title.
On Open Library, 3 have read it and 22 want to.
About Benjamin C. Pierce · 1963
American professor of computer science
Similar in taste
Closest on the same fourteen dimensions, from everything scored on Tastebuds Other media included when they land close.
Concrete mathematics 198888% alikeBoth cool, classical in form, earnest.
Introduction to Algorithms 199087% alikeBoth cool, earnest, grave.
Calendrical calculations 199782% alikeBoth cool, earnest, grave.
Code Complete 199382% alikeBoth cool, earnest, classical in form.
Causality 200082% alikeBoth cool, earnest, grave.
Both cool, earnest, grave.
Artificial Intelligence 199481% alikeBoth cool, earnest, classical in form.
Both cool, earnest, grave.
Gran Turismo 7 202274% alikeGame · Both earnest, grave, classical in form.
Gran Turismo Sport 201769% alikeGame · Both earnest, grave, contemporary.