[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Step-indexed kripke models over recursive worlds
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
- 作者Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
- 文件大小722.41KB
- 发表时间2011
- DOI10.1145/1926385.1926401