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 type-theoretic perspective -- -has important applicat...
| Основен автор: | Pierce, Benjamin C. |
|---|---|
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Cambridge, Mass. :
MIT Press,
2002.
|
| Предмети: | |
| Онлайн достъп: |
ebrary |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA76.7 .P54 2002 |
|---|