• Flux: Refinement types for Rust https://youtu.be/NIJtZ0yUDX0 7 comments 23/8/2024 plt , rust , video
• Flux: Refinement Types for Rust https://liquid-rust.github.io/2022/11/14/introducing-flux/ 6 comments 22/11/2022 rust

• Ownership in Flux (a refinement type checker for Rust) https://liquid-rust.github.io/2022/11/29/ownership-in-flux/ 3 comments 28/11/2022 programminglanguages