Catalog of programming languages and their history.
The history of building programming languages is preceeded by works in algebra, mathematical logic, and constructivism.
Gödel’s work can in essence be thought of as having a programming language. This is taken up by Chaitin in his book on algorithmic complexity.
Curry/Schönfinkel, Russell/Post, Church, Gödel, Turing, Von Neumann/McCullough Pitts
Work by Erik Meijer, Richard Bird, Maarten Fokkinga, Ross Paterson, Jeremy Gibbons
Inspired from work on ALGOL, and Actor model by Hewitt
Ancestory of MacScheme. First version written by Will Clinger.