## The greatest of the great C. A. R. Hoare. An axiomatic basis for computer programming. http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf http://sunnyday.mit

## The greatest of the great C. A. R. Hoare. An axiomatic basis for computer programming. http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf Peter J. Landin. The next 700 programming languages. http://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf http://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf Robin Milner. A theory of type polymorphism in programming. http://courses.engr.illinois.edu/cs421/sp2012/project/milner-polymorphism.pdf http://courses.engr.illinois.edu/cs421/sp2012/project/milner... Gordon Plotkin. Call-by-name, call-by-value, and the λ-calculus. http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambd... John C. Reynolds. Towards a theory of type structure. http://www.cs.cmu.edu/~crary/819-f09/Reynolds74.pdf http://www.cs.cmu.edu/~crary/819-f09/Reynolds74.pdf