<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Kim,<div><br></div><div>I took a pass over the CardelliFest paper, and changed a bunch of things, mostly for readability and compactness. I think that it can be shipped in its current state.</div><div><br></div><div>However, I had trouble finding some of the references to Abadi and Cardelli that you make in Section 4.4. Can you add more explicit citation information? For example</div><div><br></div>
<div><span style="font-family: NimbusRomNo9L; font-size: 12pt;">While Abadi and Cardelli (1996) extensively discuss inheritance from objects in the
chapter reviewing object-oriented features</span></div><div><br></div><div>Which chapter is that? The first 5 chapters are under this heading. </div><div><br></div>
<div><span style="font-family: NimbusRomNo9L; font-size: 12pt;">In the less formal discussion of object inheritance in Chapter 4, they
discuss why it is important that objects and classes that are inherited be statically
visibility, a restriction we also adopt.</span></div><div><br></div><div>I couldn’t find this. Perhaps add a page number? </div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>Andrew</div><div><br></div></body></html>