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=155
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Relational interpretations of recursive types in an operational setting
Lars Birkedal
,
Robert Harper
Information and Computation
155
(1-2), 1999, pp. 3-63
Type-directed specialization of polymorphism
Atsushi Ohori
Information and Computation
155
(1-2), 1999, pp. 64-107
Comparing object encodings
Kim B. Bruce
,
Luca Cardelli
,
Benjamin C. Pierce
Information and Computation
155
(1-2), 1999, pp. 108-133
Semi-explicit first-class polymorphism for ML
Jacques Garrigue
,
Didier Rémy
Information and Computation
155
(1-2), 1999, pp. 134-169
Toward an infinitary logic of domains: Abramsky logic for transition systems
Marcello M. Bonsangue
,
Joost N. Kok
Information and Computation
155
(1-2), 1999, pp. 170-201