Have you seen <a href="http:&#x2F;&#x2F;www.cs.utexas.edu&#x2F;~wcook&#x2F;Drafts&#x2F;2009&#x2F;essay.pdf" rel="nofollow">http:&#x2F;&#x2F;www.cs.utexas.edu&#x2F;~wcook&#x2F;Drafts&#x2F;2009&#x2F;essay.pdf</a>? It includes the great line &quot;the untyped lambda calculus was the first OO language&quot;, something I&#x27;d noticed myself -- I won&#x27;t say independently, since both the author and I were on the cap-talk list (or maybe it was e-lang) back in the day.