Here are some historical milestones as we saw in the first lecture, but I just wanted to point out which were relevant to the history of functional languages. Definitely the first concerning the l calculus, the second one John McCarthy, in 1962 introduced LISP, then we go to 1978 when Robin Milner first introduced the theory of polymorphism for a functional language, in 1979 the system Edinburgh LCF was introduced and the formal definition of the language we are going to present today was published in 1990 by Robin Milner and his co-workers.

---