[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Modeling abstract types in modules with open existential types
Montagu, Benoît; Rémy, Didier
- 作者Montagu, Benoît; Rémy, Didier
- 文件大小275.28KB
- 发表时间2008
- DOI10.1145/1480881.1480926