Категорія:Теорія мов програмування Основна стаття для цієї категорії: Теорія мов програмування. Підкатегорії Показано 5 підкатегорій із 5. Л Лямбда-числення (9 С)П Програмування із залежними типами (1 К, 3 С)С Семантика мов програмування (1 К, 6 С)Т Теорія компіляторів (1 К, 18 С) Теорія типів (3 К, 34 С) Сторінки в категорії «Теорія мов програмування» Показано 8 сторінок цієї категорії (із 8). К Комбінаторне програмуванняЛ Логічна помилка (програмування)П Побічний ефект (програмування) Прозорість посилань (інформатика)С Синтаксична помилка (програмування) Структурна теорема Бьома — ЯкопініТ Теорія мов програмуванняФ Функція першого класу
