Typesafe Abstractions for Tensor Operations

Preprint English OPEN
Chen, Tongfei;

We propose a typesafe abstraction to tensors (i.e. multidimensional arrays) exploiting the type-level programming capabilities of Scala through heterogeneous lists (HList), and showcase typesafe abstractions of common tensor operations and various neural layers such as ... View more
  • References (17)
    17 references, page 1 of 2

    Martín Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Greg S. Corrado, Andy Davis, Je rey Dean, Matthieu Devin, Sanjay Ghemawat, Ian Goodfellow, Andrew Harp, Geo rey Irving, Michael Isard, Yangqing Jia, Rafal Jozefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dan Mané, Rajat Monga, Sherry Moore, Derek Murray, Chris Olah, Mike Schuster, Jonathon Shlens, Benoit Steiner, Ilya Sutskever, Kunal Talwar, Paul Tucker, Vincent Vanhoucke, Vijay Vasudevan, Fernanda Viégas, Oriol Vinyals, Pete Warden, Martin Wattenberg, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. (2015). h p://tensorflow.org/ Software available from tensor ow.org.

    Edgar F Codd. 1979. Extending the database relational model to capture more meaning. ACM Transactions on Database Systems (TODS) 4, 4 (1979), 397-434.

    Frederik Eaton. 2006. Statically typed linear algebra in Haskell. In Proceedings of the 2006 ACM SIGPLAN workshop on Haskell. ACM, 120-121.

    Andreas Griewank and Andrea Walther. 2008. Evaluating derivatives: principles and techniques of algorithmic di erentiation. SIAM.

    P. R. Gri oen. 2015. Type Inference for Array Programming with Dimensioned Vector Spaces. In Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages (IFL '15). ACM, New York, NY, USA, Article 4, 12 pages. h ps: //doi.org/10.1145/2897336.2897341

    Sepp Hochreiter and Jürgen Schmidhuber. 1997. Long short-term memory. Neural computation 9, 8 (1997), 1735-1780.

    Andrew Kennedy and Claudio V Russo. 2005. Generalized algebraic data types and object-oriented programming. ACM SIGPLAN Notices 40, 10 (2005), 21-40.

    Daphne Koller and Nir Friedman. 2009. Probabilistic graphical models: principles and techniques. MIT press.

    Takayuki Muranushi and Richard A Eisenberg. 2014. Experience report: Type-checking polymorphic units for astrophysics research in Haskell. In ACM SIGPLAN Notices, Vol. 49. ACM, 31-38.

    Graham Neubig, Chris Dyer, Yoav Goldberg, Austin Matthews, Waleed Ammar, Antonios Anastasopoulos, Miguel Ballesteros, David Chiang, Daniel Clothiaux, Trevor Cohn, Kevin Duh, Manaal Faruqui, Cynthia Gan, Dan Garrette, Yangfeng Ji, Lingpeng Kong, Adhiguna Kuncoro, Gaurav Kumar, Chaitanya Malaviya, Paul Michel, Yusuke Oda, Matthew Richardson, Naomi Saphra, Swabha Swayamdipta, and Pengcheng Yin. 2017. DyNet: The Dynamic Neural Network Toolkit. arXiv preprint arXiv:1701.03980 (2017).

  • Related Organizations (5)
  • Metrics
Share - Bookmark