Arrays and References in Resource Aware ML. - Benjamin Lichtman; Jan Hoffmann 002 (FSCD, 2017)