2021/03/17 Reg Huijben
Reg continues on his internship work which builds on earlier work from Hraban Juyat & Clemens Grelck at UvA on eight-weight records in array languages. The key idea is to view records as syntactical sugar for sets of individual field variables. In his internship, Reg improved the existing formal specification and suggested an extension enabling nesting of records as well as arrays of records. In his Master thesis, he plans to put that plan into practice through an implementation and evaluation within the context of the SaC compiler.