A refinement type by any other name | weaselhat#refinement-types#property-types#pfenning#dunfield·weaselhat.com·Apr 3, 2024A refinement type by any other name | weaselhat
