Ranger is a bidirectional refinement type system for integer range types, implemented in the Licorne language, that integrates inference and flow analysis to verify bounds properties with low annotation overhead compared to Java, Scala, Checker Framework, and Liquid Java.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
GPU-PF and PRISMS-PF phase-field codes produce consistent predictions for dendritic morphology, primary spacing, and tip dynamics in 2D and 3D simulations of alloy solidification at experimentally relevant scales.
The QBF Gallery 2023 report consolidates submitted solvers and formulas into a public benchmark set and compares solver performance on it while outlining future directions for the community.
citing papers explorer
-
Practical Range Refinement Types with Inference
Ranger is a bidirectional refinement type system for integer range types, implemented in the Licorne language, that integrates inference and flow analysis to verify bounds properties with low annotation overhead compared to Java, Scala, Checker Framework, and Liquid Java.