Projections for polymorphic first-order strictness analysis
Hughes, John; Launchbury, John
- 期刊名称Mathematical Structures in Computer Science
- 作者Hughes, John; Launchbury, John
- 卷第2卷
- 期第3期
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小3994.11KB
- 发表时间1992-9
- DOI10.1017/S0960129500001493