Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ) |
Привет, Гость! Войдите или зарегистрируйтесь.
Вы здесь » Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ) » доказательное программирование » 2002, Pierce B. C., Types and Programming Languages
Есть перевод на русский язык:
2010, Пирс Б., Типы в языках программирования
На амазоне у этого автора ещё несколько книжек. И в libgen.
В частности
2005, Pierce B.C., Advanced Topics in Types and Programming Languages
Отредактировано Лис (2024-08-09 11:39:37)
Вы здесь » Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ) » доказательное программирование » 2002, Pierce B. C., Types and Programming Languages