[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - The geometry of types
Dal lago, Ugo; Petit, Barbara
- 作者Dal lago, Ugo; Petit, Barbara
- 文件大小738.02KB
- 发表时间2013
- DOI10.1145/2429069.2429090