Cited By
View all- Hattori MKobayashi NSato R(2023)Gradual Tensor Shape CheckingProgramming Languages and Systems10.1007/978-3-031-30044-8_8(197-224)Online publication date: 22-Apr-2023
- Gao YLi ZLin HZhang HWu MYang MDwyer MDamian DZeller A(2022)ReftyProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510077(1843-1855)Online publication date: 21-May-2022
- Chen TMiller HHaller PLhoták O(2017)Typesafe abstractions for tensor operations (short paper)Proceedings of the 8th ACM SIGPLAN International Symposium on Scala10.1145/3136000.3136001(45-50)Online publication date: 22-Oct-2017
- Show More Cited By