Перейти до вмісту

Категорія:Теорія мов програмування

Матеріал з Вікіпедії — вільної енциклопедії.

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

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

Показано 5 підкатегорій із 5.

Л

Лямбда-числення (9 С)

П

Програмування із залежними типами (1 К, 3 С)

С

Семантика мов програмування (1 К, 6 С)

Т

Теорія компіляторів (1 К, 18 С)
Теорія типів (3 К, 34 С)

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

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

К

Комбінаторне програмування

Л

Логічна помилка (програмування)

Н

Нелокальна змінна

П

С

Т

Теорія мов програмування

Ф

Функція першого класу

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

Категорії:

Прихована категорія:

Вікіпедія:Категорії, які мають основні статті