Information and Computation, Volume 177

Volume 177, Number 1, 25 August 2002

• Giuseppe Castagna, Adriana B. Compagnoni:
  Seventh International Workshop on Foundations of Object-Oriented Languages. 1
  Electronic Edition (link) BibTeX
• Michele Bugliesi, Santiago M. Pericás-Geertsen:
  Type Inference for Variant Object Types. 2-27
  Electronic Edition (link) BibTeX
• Kathleen Fisher, John H. Reppy:
  Inheritance-Based Subtyping. 28-55
  Electronic Edition (link) BibTeX
• Atsushi Igarashi, Benjamin C. Pierce:
  On Inner Classes. 56-89
  Electronic Edition (link) BibTeX
• Ran Rinat:
  Type-Safe Covariant Specialization with Generalized Matching. 90-120
  Electronic Edition (link) BibTeX

Volume 177, Number 2, 15 September 2002

• Takayasu Ito:
  Guest Editorial. 121
  Electronic Edition (link) BibTeX
• Naoki Kobayashi:
  A Type System for Lock-Free Processes. 122-159
  Electronic Edition (link) BibTeX
• Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon:
  Types for the Ambient Calculus. 160-194
  Electronic Edition (link) BibTeX
• Massimo Merro, Josva Kleist, Uwe Nestmann:
  Mobile Objects as Mobile Processes. 195-241
  Electronic Edition (link) BibTeX