Bounded Linear Types in a Resource Semiring
Abstract elided by the publisher.
Related papers
- Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials OOPSLA 2025
- Towards automatic resource bound analysis for OCaml POPL 2017
- Fun with semirings: a functional pearl on the abuse of linear algebra ICFP 2013
- Program Synthesis from Graded Types ESOP 2024
- Reverse engineering for reduction parallelization via semiring polynomials PLDI 2021
- Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl) ICFP 2026
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Automatic amortized resource analysis with the Quantum physicist's method ICFP 2021