У своїх мемуарах Герберт Саймон (1991), Models of My Life pp. 189–190 ISBN 0-465-04640-1 стверджує, що його, Al. Ньюелл, і Кліфф Шоу яких «часто називають батьками штучного інтелекту» за написання програми Logic Theorist[en] автоматично доводить теореми з Principia Mathematica. Для того, щоб досягти цього, вони повинні були придумати мову і парадигму, яку, ретроспективно, можна розглядати як функційне програмування.
Пол Г'юдак[en] (September 1989). Conception, evolution, and application of functional programming languages . ACM Computing Surveys. 21 (3): 359 −411.
