> refinement types / liquid types (don't ask me about the nomenclature) There's a nice FOSDEM presentation "Understanding liquid types, contracts and formal ve

> refinement types / liquid types (don't ask me about the nomenclature) There's a nice FOSDEM presentation "Understanding liquid types, contracts and formal verification with Ada/SPARK" by Fernando Oleo Blanco (Irvise): https://fosdem.org/2025/schedule/event/fosdem-2025-4879-understanding-liquid-types-contracts-and-formal-verification-with-ada-spark/ https://fosdem.org/2025/schedule/event/fosdem-2025-4879-unde.... One of the slides says: Liquid types! Logically Qualified Types, aka, Types with Logic! Aka dependent types, etc...