A refinement type by any other name weaselhat

Metadata

Source URL:: https://www.weaselhat.com/2015/03/16/a-refinement-type-by-any-other-name/
Topics:: #refinement-types, #property-types, #pfenning, #dunfield


Highlights