Modular monadic meta-theory
Delaware, Benjamin; Keuchel, Steven; Schrijvers, Tom; Oliveira, Bruno C.d.S.
- 期刊名称ACM SIGPLAN Notices
- 作者Delaware, Benjamin; Keuchel, Steven; Schrijvers, Tom; Oliveira, Bruno C.d.S.
- 卷第48卷
- 期第9期
- 印刷ISSN0362-1340
- 文件大小628.86KB
- 发表时间2013-11-12
- DOI10.1145/2544174.2500587
- 页码319-330