Polymorphic Embedding

Finally, a Polymorphic Linear Algebra Language (Pearl)

Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data …

Amir Shaikhha, Lionel Parreaux