[ACM Press the 29th Conference - Poitiers, France (2017.08.29-2017.09.01)] Proceedings of the 29th Conference on l'Interaction Homme-Machine - IHM '17 - Landscape, an energy consumption digital postcard
- 作者Lacroix, S.; Detienne, F.; Huron, S.; Foissac, G.
- 文件大小278.02KB
- 发表时间2018
- DOI10.1145/3132129.3132159
- 页码273-280
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