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