[FOM] object-oriented programming

Antonio Ravara aravara at fct.unl.pt
Thu Mar 30 01:32:00 EDT 2017

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

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

More information about the FOM mailing list