Рекурсивные типы. Часть 5/5. Занимательный матан +5
Публикации с тегом теория типов
Рекурсивные типы. Часть 4/5. Схемы рекурсии +4
Рекурсивные типы. Часть 3/5. Свободные контейнеры +5
Рекурсивные типы. Часть 2/5. Неподвижные точки конструкторов типов +6
Типы в программировании как математические множества +13
Обобщённые типы. Часть 3/3. Применение контейнерных типов
Обобщённые типы. Часть 1/3. Полиморфные типы высокого рода
Обобщённые типы. Часть 2/3. Классы типов и контейнеры
Глубокая Теория Связей 0.0.1
Теория типов +58
