CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.
The Unlicense
77 stars 10 forks source link

Pierre Landin invents the Abstract Machine, Denotational Semantics, and basically Functional Programming #75

Open xtreme-james-cooper opened 7 years ago

xtreme-james-cooper commented 7 years ago

These are all historical, more of an interesting "how things got started" than cutting edge research; but then, Landin is a really smart guy and the papers are really readable.

https://www.cs.cmu.edu/~crary/819-f09/Landin64.pdf http://fi.ort.edu.uy/innovaportal/file/20124/1/22-landin_correspondence-between-algol-60-and-churchs-lambda-notation.pdf https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf

(A bunch of great history papers here: https://www.cs.cmu.edu/~crary/819-f09/)