![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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 - Michele Bugliesi, Santiago M. Pericás-Geertsen:
Type Inference for Variant Object Types. 2-27 - Kathleen Fisher, John H. Reppy
:
Inheritance-Based Subtyping. 28-55 - Atsushi Igarashi
, Benjamin C. Pierce:
On Inner Classes. 56-89 - Ran Rinat:
Type-Safe Covariant Specialization with Generalized Matching. 90-120
Volume 177, Number 2, 15 September 2002
- Takayasu Ito:
Guest Editorial. 121 - Naoki Kobayashi
:
A Type System for Lock-Free Processes. 122-159 - Luca Cardelli
, Giorgio Ghelli, Andrew D. Gordon:
Types for the Ambient Calculus. 160-194 - Massimo Merro, Josva Kleist, Uwe Nestmann:
Mobile Objects as Mobile Processes. 195-241
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.