[FOM] object-oriented programming

[Antonio Ravara]

Abadi and Cardeli's "A Theory of Objects"
(http://lucacardelli.name/TheoryOfObjects.html) might be a good place
to start.

Cheers,
António
Cumprimentos,
António Ravara

NOVA Laboratory for Computer Science and Informatics (NOVA LINCS)
Dep. of Informatics, Faculdade de Ciencias e Tecnologia (FCT)
Universidade Nova de Lisboa (New University of Lisbon)
URL: ctp.di.fct.unl.pt/~aravara/


2017-03-29 12:06 GMT+01:00 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?
>
>
>
> Bob  Lubarsky
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>