minor

dz / types / type_systems / minor

Node Tree

• abstract
• dependent
• flow_sensitive
• gradual
• intersection
• latent
• refinement
• session
• substructural
• unique

Nodes

abstract
parents	types/type_systems/minor
location	knowledge/type_systems.dz:86

dependent
parents	types/type_systems/minor
location	knowledge/type_systems.dz:89

flow_sensitive
parents	types/type_systems/minor
location	knowledge/type_systems.dz:92

gradual
parents	types/type_systems/minor
location	knowledge/type_systems.dz:95

intersection
parents	types/type_systems/minor
location	knowledge/type_systems.dz:98

latent
parents	types/type_systems/minor
location	knowledge/type_systems.dz:101

refinement
parents	types/type_systems/minor
location	knowledge/type_systems.dz:104

substructural
parents	types/type_systems/minor
location	knowledge/type_systems.dz:107

unique
parents	types/type_systems/minor
location	knowledge/type_systems.dz:110

session
parents	types/type_systems/minor