Gradual tensor shape checking
From MaRDI portal
Publication:6535237
DOI10.1007/978-3-031-30044-8_8zbMATH Open1541.68085MaRDI QIDQ6535237FDOQ6535237
Naoki Kobayashi, Momoko Hattori, Ryosuke Sato
Publication date: 24 November 2023
Artificial neural networks and deep learning (68T07) Functional programming and lambda calculus (68N18)
Cites Work
- Title not available (Why is that?)
- Contracts for higher-order functions
- Well-Typed Programs Can’t Be Blamed
- Safe \& efficient gradual typing for TypeScript
- Abstracting gradual typing
- Gradual refinement types
- APLicative Programming with Naperian Functors
- An Array-Oriented Language with Static Rank Polymorphism
This page was built for publication: Gradual tensor shape checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535237)
