[ACM Press the Twelfth ACM International Conference - Melbourne VIC, Australia (2019.02.11-2019.02.15)] Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining - WSDM '19 - NAIRS
- 作者Yu, Shuai; Wang, Yongbo; Yang, Min; Li, Baocheng; Qu, Qiang; Shen, Jialie
- 文件大小2806.76KB
- 发表时间2019
- DOI10.1145/3289600.3290609
- 页码790-793
Compiling to categoriesElliott, Conal · Proceedings of the ACM on Programming Languages · 2017
Faster coroutine pipelinesSpivey, Michael · Proceedings of the ACM on Programming Languages · 2017
Gradual session typesIgarashi, Atsushi; Thiemann, Peter; Vasconcelos, Vasco T.; Wadler, Philip · Proceedings of the ACM on Programming Languages · 2017
Editorial messageWadler, Philip · Proceedings of the ACM on Programming Languages · 2017
A verified messaging systemMansky, William; Appel, Andrew W.; Nogin, Aleksey · Proceedings of the ACM on Programming Languages · 2017
The tensor algebra compilerKjolstad, Fredrik; Kamil, Shoaib; Chou, Stephen; Lugato, David; Amarasinghe, Saman · Proceedings of the ACM on Programming Languages · 2017
Staged generic programmingYallop, Jeremy · Proceedings of the ACM on Programming Languages · 2017
Evaluating and improving semistructured mergeCavalcanti, Guilherme; Borba, Paulo; Accioly, Paola · Proceedings of the ACM on Programming Languages · 2017