News for hackers. Stuff that matters.

A comment on Great Works in Programming Languages (2004). Parent comment

Re:Great Works in Programming Languages (2004) by YAYERKA on Thursday June 13, 2013 @12:24AM (#5872310)
## 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

Peter J. Landin. The next 700 programming languages.

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...

Gordon Plotkin. Call-by-name, call-by-value, and the λ-calculus.

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

[ Parent | on HN ]
Re:Great Works in Programming Languages (2004) by angersock on Thursday June 13, 2013 @12:35AM (#5872329)
<3
[ Parent | on HN ]