P. R. Griffioen. Type inference for array programming with dimensioned vector spaces. In Ralf Lämmel, editor, Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015. ACM, 2015. [doi]
Abstract is missing.