[FOM] object-oriented programming

Tom Duff td at pixar.com
Thu Mar 30 14:02:37 EDT 2017

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

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

More information about the FOM mailing list