Kelley, Amanda L
577  results:
Search for persons X
?
7

A Verified Compiler for a Functional Tensor Language:

Liu, Amanda ; Bernstein, Gilbert ; Chlipala, Adam.
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 320-342 , 2024
 
1-15