substructural type system

family of type systems based on substructural logic

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

Categorias:

type system