I came across this old paper by Milner, apparently one of the seminal ones about LCF:

ftp://reports.stanford.edu/pub/cstr/reports/cs/tr/73/332/CS-TR-73-332.pdf

I was surprised by (1) how readable the early parts of the paper are and more importantly (2) how all this didn’t happen so long back. When it comes to denotational semantics, LCF and such I somehow had unfounded feeling that its all ancient and set in stone. Plotkin’s foundational work that revealed huge gaps in the denotational world view happened in my lifetime (well almost)… and the computer science community has studied it and has (mostly) moved on. That’s a really fast pace!

This was originally linked from LTU.