NumLin: Linear Types for Linear Algebra.

Dhruv C. Makwana Neelakantan R. Krishnaswami

Published in: ECOOP (2019)

Keyphrases

linear algebra
fir filters
image processing
singular value decomposition
computer architecture
sparse matrices
radon transform
machine learning
pattern recognition
wavelet transform
distributed computing