Found in 3 comments on Hacker News
Rochus · 2021-06-06
· Original
thread
Did you have a look at e.g. https://www.amazon.com/Theory-Objects-Monographs-Computer-Sc...?
Rochus · 2020-11-20
· Original
thread
Well, some people disagree, as usual; not really an issue; if you need a theory and formal semantics, consult the standard work: https://www.amazon.com/Theory-Objects-Monographs-Computer-Sc....
blasdel · 2010-03-15
· Original
thread
If you want to know how other languages could work, in the sense of an OO version of the lambda-cube, read Cardelli and Abadi's Theory of Objects: http://www.amazon.com/dp/0387947752
