User-Extensible Simplification - Type-Based Optimizer Generators
Abstract elided by the publisher.
Related papers
- Frex: Dependently Typed Algebraic Simplification ICFP 2025
- Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus APLAS 2021
- OpenQudit: Extensible and Accelerated Numerical Quantum Compilation via a JIT-Compiled DSL CGO 2026
- An empirical study on simplification of business process modeling languages SLE 2015
- Injective type families for Haskell Haskell 2015
- Simplification of Array Access Patterns for Compiler Optimizations PLDI 1998
- Maximal Simplification of Polyhedral Reductions POPL 2025
- A Practical Subtyping System For Erlang ICFP 1997