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
Copyright ©
Sun May 17 00:00:01 2009 by
Michael Ley
(
ley@uni-trier.de
)