Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
Abstract elided by the publisher.
Related papers
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Resource-Aware Soundness for Big-Step Semantics OOPSLA 2023
- Don't exhaust, don't waste: Resource-aware soundness for big-step semantics JFP 2026
- Omnisemantics: Smooth Handling of Nondeterminism TOPLAS 2023
- HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers ICFP 2026
- Coinductive Big-Step Operational Semantics ESOP 2006
- Polymorphic specialization for ML TOPLAS 2004
- Resource-guided program synthesis PLDI 2019