Категория:Теория языков программирования

Из Википедии, бесплатной энциклопедии

Подкатегории

В этой категории отображается 5 подкатегорий из имеющихся 5.

Л

Лямбда-исчисление (18: 18 с.)

П

Программирование с зависимыми типами (6: 2 кат., 4 с.)

С

Семантика языков программирования (5: 2 кат., 3 с.)

Т

Теория компиляторов (26: 3 кат., 23 с.)
Теория типов (38: 38 с.)

Страницы в категории «Теория языков программирования»

Показано 9 страниц из 9, находящихся в данной категории. Список ниже может не отражать последних изменений.

К

Комбинаторное программирование

Л

Логическая ошибка (программирование)

Н

Нелокальная переменная

П

Побочный эффект (программирование)

С

Т

Ф

Функции первого класса

Источник — https://ru.wikipedia.org/w/index.php?title=Категория:Теория_языков_программирования&oldid=132069120