نظریه زبان‌های برنامه‌نویسی

از بعضی جهات، تاریخ تئوری‌های برنامه‌نویسی حتی کهن‌تر از توسعه زبان‌های برنامه‌نویسی است. حساب لامدا (lambda calculus)، توسعه یافته توسط آلونزو چارچ و استفان کول کلین در سال ۱۹۳۰ است که توسط برخی به عنوان اول زبان برنامه‌نویسی در نظر گرفته شده‌است، اگرچه آن را به عنوان محاسبات مدل به جای وسیله‌ای برای برنامه نویسان برای شرح الگوریتم به سیستم رایانه‌ای در نظر گرفته شده‌است.

• اختراع‌ها در ایالات متحده (۱۸۹۰–۱۹۴۵)

• Programming language theory، برداشت شده در ۴ آوریل ۲۰۱۲.