[FOM] object-oriented programming

[Tom Duff]

On Thu, 30 Mar 2017, "Robert Lubarsky" <Lubarsky.Robert at comcast.net> 
asked:

> Where is the best place to look for the theory behind (e.g. semantics of)
> object-oriented programming?

The best I know is Luca Cardelli and Martin Abadi's book. It's 20 years 
old, so there may be newer treatments, but a quick web search doesn't
turn up anything.

Cardelli, Luca; Abadi, Martín (1996).
A theory of objects.
Berlin: Springer. ISBN 0-387-94775-2

-- 
Tom Duff.  Have I missed a meeting or something?