发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Polymorphic Functions with Set-Theoretic Types

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Polymorphic Functions with Set-Theoretic Types

Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Abate, Pietro

作者Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Abate, Pietro
文件大小1097.26KB
发表时间2015
DOI10.1145/2676726.2676991
页码289-302

← 返回【学霸图书馆】主页