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