Языки программирования (Википедия)
Прогопедия — свободная энциклопедия языков программирования (примеры программ)
Список языков программирования по категориям (Википеодия)
Большой список 256-ти языков программирования
Обзор языков программирования

Машиннозависимость - отличие семантики от целевлй платформы
Поколения языков программирования
По способу реализации
По отношению к математической логике
По безопасности
Языки для программирования

Парадигмы программирования


Особые категории языков программирования
Программирование и модели ЯП (Кауфман В.Ш. "Языки программирования")
доказательное модель Д
реляционное модель Р (Пролог)
операционное (минимальное) модель фон Неймана (модель Н)
функциональное модель Б (Бэкуса)
объектно-ориентированное (соль)
параллельное (ля-ля) модель О (Оккам-2)
ситуационное модель Маркова-Турчина (модель МТ)

Сравнение языков программирования