Compiling a Subset of APL Into a Typed Intermediate Language
Martin Elsman, Martin Dybdal · 2014
We present a compiler and a typed intermediate language for a subset of APL. The intermediate language treats all numeric data as multi-dimensional arrays and the type system makes explicit the ranks of arrays. Primitive operators are polymorphic in rank and in the type of the underlying data operated on.