• Hjem
  • refinement typing

refinement typing

types constrained by a predicate

en-US/ɹɪˈfaɪnmənt ˈtaɪpɪŋ/
en-GB/ɹɪˈfaɪnmənt ˈtaɪpɪŋ/

Kategorier:

type system