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

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

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

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

Л

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

П

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

С

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

Т

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

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

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

К

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

П

С

Т

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

Ф

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

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