15 Oct
2008
15 Oct
'08
5:06 p.m.
I suspect that more has been done since 1997. Isn't that pre-Oleg? Karl Mazurak wrote:
Yitzchak Gale wrote:
Derek Elkins wrote:
In general, to encode OO... turns out all you needed was recursive bounded existential quantification.
Do you have a reference for that?
I'm not sure if this is precisely what Derek had in mind, but Bruce, Cardelli, and Pierce did a comparison of various object encodings:
http://www.cis.upenn.edu/~bcpierce/papers/compobj.ps
It's been a while since I read that paper, but skipping to the end tells me that the approach with recursive types and bounded existentials was the only one to support method override, although it was less attractive on other fronts.