149 | -- | 0 | Jens Palsberg, Michael I. Schwartzbach. Editorial |
151 | -- | 166 | Martín Abadi, Luca Cardelli. An Imperative Object Calculus (Invited Paper) |
167 | -- | 188 | Urs Hölzle, Ole Agesen. Dynamic versus Static Optimization Techniques for Object-Oriented Languages |
189 | -- | 220 | Kathleen Fisher, John C. Mitchell. The Development of Type Systems for Object-Oriented Languages |
221 | -- | 242 | Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce. On Binary Methods |