All-Termination(T)
Abstract elided by the publisher.
Related papers
- Termination combinators forever Haskell 2011
- Fair termination of binary sessions POPL 2022
- CoStar: a verified ALL(*) parser PLDI 2021
- Strong functional pearl: Harper's regular-expression matcher in Cedille ICFP 2020
- The Termination and Complexity Competition TACAS 2019
- Adoption protocols for fanout-optimal fault-tolerant termination detection PPoPP 2013
- First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination ICFP 2026
- PROTON: PRObes for Termination Or Not (Competition Contribution) TACAS 2024