Sounio-lang/sounio: v0.7.0 - Refinement Types

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Demetrios Chiuratto Agourakis
DOI: 10.5281/zenodo.18190151
Cited by: 0

Abstract

Refinement Types - Verified Precision Z3 SMT solver integration for compile-time verification. Features Refinement type syntax parsing Z3 SMT solver integration Improved error diagnostics Dependent types with predicates Example ```sio type Positive = { x: i32 | x > 0 } type Percentage = { x: f64 | 0.0

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 January 2026