Gradual tensor shape checking

DOI10.1007/978-3-031-30044-8_8MaRDI QIDQ6535237zbMATH OpenFDO

Authors Momoko Hattori, Naoki Kobayashi, Ryosuke Sato

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Functional programming and lambda calculus (68N18)

Recommendations

• Safe \& efficient gradual typing for TypeScript
• Principal type schemes for gradual programs
• Learning shape analysis
• Gradual program verification
• Sums of uncertainty: refinements go gradual

Cites work

• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• APLicative Programming with Naperian Functors
• Abstracting gradual typing
• An array-oriented language with static rank polymorphism
• Contracts for higher-order functions
• Gradual refinement types
• Safe \& efficient gradual typing for TypeScript
• Well-Typed Programs Can’t Be Blamed

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)