%0 Journal Article %1 journals/pacmpl/LiuBCR24 %A Liu, Amanda %A Bernstein, Gilbert %A Chlipala, Adam %A Ragan-Kelley, Jonathan %D 2024 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 320-342 %T A Verified Compiler for a Functional Tensor Language. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#LiuBCR24 %V 8

@article{journals/pacmpl/LiuBCR24, added-at = {2024-08-02T00:00:00.000+0200}, author = {Liu, Amanda and Bernstein, Gilbert and Chlipala, Adam and Ragan-Kelley, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/2b8b4b8a6234893e6276f9212c4b6806c/dblp}, ee = {https://doi.org/10.1145/3656390}, interhash = {cc0022c13c2d0ef0bb5999241a706ced}, intrahash = {b8b4b8a6234893e6276f9212c4b6806c}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {320-342}, timestamp = {2024-08-05T07:06:41.000+0200}, title = {A Verified Compiler for a Functional Tensor Language.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#LiuBCR24}, volume = 8, year = 2024 }