Type and Behaviour Reconstruction for Higher-Order Concurrent Programs |
T. Amtoft, F. Nielson, H. Riis Nielson
|
| Type | Journal paper [With referee] |
| Journal | Journal of Functional Programming |
| Year | 1997 Vol. 7 No. 3 pp. 321-347 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |