Abstract Refinement Types
No abstract available.
Related papers
- Data flow refinement type inference POPL 2021
- Verification of high-level transformations with inductive refinement types GPCE 2018
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- Refinement Types for ML PLDI 1991
- Program synthesis by type-guided abstraction refinement POPL 2020
- Generic Refinement Types POPL 2025
- Gradual refinement types POPL 2017
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015