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

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

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Polymorphic functions with set-theoretic types

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Polymorphic functions with set-theoretic types

Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Im, Hyeonseung; Lenglet, Sergueï; Padovani, Luca
  • 作者Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Im, Hyeonseung; Lenglet, Sergueï; Padovani, Luca
  • 文件大小769.08KB
  • 发表时间2014
  • DOI10.1145/2535838.2535840
  • 页码5-17
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯