Type-theoretic foundations for concurrent object-oriented programing
Kobayashi, Naoki; Yonezawa, Akinori
- 期刊名称ACM SIGPLAN Notices
- 作者Kobayashi, Naoki; Yonezawa, Akinori
- 卷第29卷
- 期第10期
- 印刷ISSN0362-1340
- 文件大小1668.23KB
- 发表时间1994-10-01
- DOI10.1145/191081.191088
- 页码31-45