Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=177
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Type inference for variant object types
Michele Bugliesi
,
Santiago M. Pericás-Geertsen
Information and Computation
177
(1), 2002, pp. 2-27
Inheritance-based subtyping
Kathleen Fisher
,
John Reppy
Information and Computation
177
(1), 2002, pp. 28-55
On inner classes
Atsushi Igarashi
,
Benjamin C. Pierce
Information and Computation
177
(1), 2002, pp. 56-89
Type-safe covariant specialization with generalized matching
Ran Rinat
Information and Computation
177
(1), 2002, pp. 90-120
A type system for lock-free processes
Naoki Kobayashi
Information and Computation
177
(2), 2002, pp. 122-159
Types for the ambient calculus
Luca Cardelli
,
Giorgio Ghelli
,
Andrew D. Gordon
Information and Computation
177
(2), 2002, pp. 160-194
Mobile objects as mobile processes
Massimo Merro
,
Josva Kleist
,
Uwe Nestmann
Information and Computation
177
(2), 2002, pp. 195-241