[ACM Press the 6th International Conference - Hong Kong, Hong Kong (2018.12.29-2018.12.31)] Proceedings of the 6th International Conference on Information Technology: IoT and Smart City - ICIT 2018 - BANN
- 作者Quan, Wei; Chen, Zheng; Hu, Xiaohua Tony
- 文件大小546.46KB
- 发表时间2018
- DOI10.1145/3301551.3301561
- 页码224-228
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