DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(Polymorphic AND Subtyping AND for AND Effect AND Analysis\: AND The AND Static AND Semantics)
Suggestions: Include records that partially match the query
Polymorphic subtyping for effect analysis: The static semantics 10.1007/3-540-62503-8_8
Year: 1997
Language: Undetermined
Polymorphic Subtyping for Effect Analysis: The Static Semantics
Analysis and Verification of Multiple-agent Languages — 1997, pp. 141-171
Year: 1997
Language: English