Elsmanand Dybdal. Compiling a Subset of APL into a Typed Intermediate Language. ACM Press, 2014, doi:10.1145/2627373.2627390.