Invariant and Type Inference for Matrices
No abstract available.
Related papers
- From Fast Exponentiation to Square Matrices: An Adventure in Types ICFP 1999
- Data-driven inference of representation invariants PLDI 2020
- Register Tiling for Unstructured Sparsity in Neural Network Inference PLDI 2023
- Complete and decidable type inference for GADTs ICFP 2009
- ICE-Based Refinement Type Discovery for Higher-Order Functional Programs TACAS 2018
- Inferring ownership domains from refinements GPCE 2018
- Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl) Haskell 2020
- Regular language type inference with term rewriting ICFP 2020