substructural type system

family of type systems based on substructural logic

en-GB/sʌbstɹʌkt͡ʃəɹəl ˈtaɪp ˈsɪstəm/

Kategoriler:

type system