Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Palsberg-Zhao/04"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Type inference for record concatenation and subtyping Publikation auswählen
Jens Palsberg, Tian Zhao

Information and Computation 189 (1), 2004, pp. 54-86

Editors  Albert R. Meyer
Publisher:  Elsevier B.V.
Address:  Orlando-Amsterdam-Tokyo-Singapore
 
Keywords:   types, objects, complexity
 
URL:   http://dx.doi.org/10.1016/j.ic.2003.10.001