Книги / тег / теория типов

Книги по тегу #теория типов

всего · 5
EN
Programming Language Pragmatics, Fourth Edition

Programming Language Pragmatics, Fourth Edition

A

Michael L. Scott

Алгоритмы и теория
EN
Types and Programming Languages

Types and Programming Languages

A

Benjamin C. Pierce

Алгоритмы и теория
EN
Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

A

Benjamin C. Pierce (editor)

Алгоритмы и теория
EN
Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence

Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence

A

Anton Antich

AI и ML
RU
Программирование: комбинаторная логика

Программирование: комбинаторная логика

A

И. А. Кудрявцева, М. В. Швецкий

Языки программирования