NumLin: Linear Types for Linear Algebra (Artifact).

Dhruv C. Makwana Neelakantan R. Krishnaswami

Published in: Dagstuhl Artifacts Ser. (2019)

Keyphrases

linear algebra
fir filters
computer architecture
image processing
computer vision
singular value decomposition
sparse matrices
image segmentation
computer science
preprocessing