> 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-unde.... One of the slides says:

  Liquid types!
  Logically Qualified Types, aka, Types with Logic! Aka dependent types, etc...