substructural type system

family of type systems based on substructural logic

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

หมวดหมู่:

type system