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