Shapely Types and Shape Polymorphism
Abstract elided by the publisher.
Related papers
- Getting F-bounded polymorphism into shape PLDI 2014
- A relational framework for higher-order shape analysis ICFP 2014
- Regular, shape-polymorphic, parallel arrays in Haskell ICFP 2010
- A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions GPCE 2019
- Functorial ML JFP 1998
- Types for Hierarchic Shapes ESOP 2006
- Lightweight Shape Analysis Based on Physical Types VMCAI 2022
- Gradual Tensor Shape Checking ESOP 2023