About

Log in?

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.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit

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

Filter results
Access
Type
Language
Year
From DTU
Advanced
1 Book chapter

Polymorphic subtyping for effect analysis: The static semantics

Year: 1997

Language: Undetermined

jneiopa fhkgdcmbl
2 Book chapter

Polymorphic Subtyping for Effect Analysis: The Static Semantics

Nielson, Hanne Riis; Nielson, Flemming; Amtoft, T.

Analysis and Verification of Multiple-agent Languages — 1997, pp. 141-171

Year: 1997

Language: English

b phe gkfcaomj indl

DTU users get better search results including licensed content and discounts on order fees.

Log in as DTU user