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