Types and Programming Languages (книга)
| Types and Programming Languages | |
| Автор: | Benjamin C. Pierce |
|---|---|
| Оригинал издан: | ???? |
«Types 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 systems--and of programming languages from a…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
