Programming Languages

Lambda Calculus

1. Programming w/ Math
2. Lambda Tutorial

Language Design

C

1. Brief Intro to C
2. DevC

C++

1. History of Cpp
2. Brief Intro to Cpp
3. Evolution of Cpp
4. ThrivingCpp

Declarative and Functional Languages

Lisp & co.

1. Evolution of Lisp
2. Evolution of EmacsLisp
3. History of Clojure

Haskell

1. History of Haskell
2. GreatGood

ML

1. History of StandardML

Prolog

1. Brief Intro to Prolog
2. BirthOfProlog

Bibliography

• Programming w/ Math: Eyesomorphic; Programming with Mathematics
• Lambda Tutorial: Raul Rojas; A Tutorial Introduction to the Lambda Calculus
• Brief Intro to C: W. M. McKeeman; A brief introduction to C in HOPL-II, 1993
• DevC: Dennis M. Ritchie; The Develompent of the C Programming Language in HOPL-II, 1993
• History of Cpp: Bjarne Stroustrup; A History of C++: 1979-1991 in HOPL-II, 1993
• Evolution of Cpp: Bjarne Stroustrup; Evolution of lving a language in and for the real world: C++ 1991-2006 in HOPL-III, 2007
• ThrivingCpp: Bjarne Stroustrup; Thriving in a crowded and changing world: C++ 2006-2020 in HOPL-IV, 2021
• Brief Intro to Cpp: Jerry Schwarz; A brief introduction to C++ in HOPL-II, 1993
• Evolution of Lisp: Guy L. Steele and Richard P. Gabriel; The Evolution of lution of Lisp in HOPL-II, 1993
• Evolution of EmacsLisp: Stefan Monnier and Michael Sperber; Evolution of lution of Emacs Lisp in HOPL-IV, 2021
• History of Clojure: Rich Hickey; A History of Clojure in HOPL-IV, 2021
• History of Haskell: Paul Hudak et al. A history of Haskell: being lazy with class in HOPL-III, 2007
• GreatGood: Miran Lipovaca; Learn You A Haskell For A Great Good
• History of StandardML: David MacQueen, Robert Harper, John Reppy; The History of Standard ML in HOPL-IV, 2021
• BriefHistory of Prolog: Fernando Pereira; A Brief Introduction to Prolog
• BirthOfProlog: Colmerauer and Roussel; The Birth of Prolog in HOPL-II, 1993