Sounio-lang/sounio: v0.11.0 - Epistemic + Refinement Integration

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

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

Abstract

Epistemic + Refinement Types Integration Seamless integration of epistemic values with refinement types. Features EpistemicValue works with Refinement Types Knowledge provenance tracking Unified uncertainty + verification system Better error messages for type mismatches Philosophy Verified uncertainty - know what you know, and verify it.

Publication details

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