Buy Me a Coffee at ko-fi.com

Refinement typing

types constrained by a predicate

Pronunciation
/rəˈfaɪnmənt ˈtaɪpɪŋ/
/rɪˈfʌɪnmənt ˈtʌɪpɪŋ/
Categories
type system