HOTL: a Higher Order Theory of Locality

In Proc. ASPLOS 2013 - International Conference on Architectural Support for Programming Languages and Operating Systems , March 16-20, 2013

Publication date: March 16, 2013

X. Xiang, C. Ding, H. Luo, B. Bao