5th ARRAY@PLDI 2018: Philadelphia, PA, USA

Array Language Commonalities

Exploiting Dynamic Information

Types and Correctness

Accessing the Memory System

maintained by Schloss Dagstuhl LZI at University of Trier