A Verified Compiler for a Functional Tensor Language.

Amanda Liu Gilbert Bernstein Adam Chlipala Jonathan Ragan-Kelley

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

programming language
functional language
general purpose
high order
natural language
language learning
high level
higher order
data sets
neural network
artificial intelligence
image sequences
dimensionality reduction
language processing
object oriented programming