Polymorphic Subtyping for Effect Analysis: The Static Semantics |
H. Riis Nielson, F. Nielson, T. Amtoft
|
| Type | Book [Chapter] |
| Book title | Analysis and Verification of Multiple-Agent Languages |
| Editors | M. Dam |
| Year | 1997 No. 1192 pp. 141-171 |
| Series | Lecture Notes in Computer Science |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |