Категорія:Теорія типів

Основна стаття для цієї категорії: Теорія типів .

Підкатегорії

Показано 3 підкатегорії з 3.

А

Абстрактні типи даних (1 К, 7 С)

П

Поліморфізм (програмування) (3 С)

С

Системи типізації (6 С)

Сторінки в категорії «Теорія типів»

Показано 34 сторінки цієї категорії (із 34).

А

В

З

І

Інтуїціоністська теорія типів

К

П

Р

Рекурсивний тип даних

С

Т

Ф

Функційний тип

Ч

V

Void

Y

Користувач:Yuriz/Чернетка/ТТ

Отримано з https://uk.wikipedia.org/w/index.php?title=Категорія:Теорія_типів&oldid=37879827