Книги / тег / зависимые типы

Книги по тегу #зависимые типы

всего · 1
EN
Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

A

Benjamin C. Pierce (editor)

Алгоритмы и теория