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

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

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

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

А

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

П

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

С

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

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

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

А

В

З

І

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

К

П

Р

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

С

Т

Ф

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

Ч

V

Void

Y

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

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