TU Darmstadt / ULB / TUbiblio

Positive subtyping

Hofmann, Martin and Pierce, and Pierce, (1996):
Positive subtyping.
In: Information and computation. 126 (1996), No. 1, S. 186-197, [Article]

Item Type: Article
Erschienen: 1996
Creators: Hofmann, Martin and Pierce, and Pierce,
Title: Positive subtyping
Language: German
Journal or Publication Title: Information and computation. 126 (1996), No. 1, S. 186-197
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 15:59
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details