Definitions from Wikipedia (Substructural type system)

▸ noun:  Substructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances.


▸ Words similar to substructural type system
▸ Usage examples for substructural type system

▸ Idioms related to substructural type system
▸ Wikipedia articles (New!)
▸ Words that often appear near substructural type system
▸ Rhymes of substructural type system

▸ Invented words related to substructural type system