About: Substructural type system

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Family of type systems based on substructural logic

Property	Value
dbo:description	family of type systems based on substructural logic (en)
dbo:wikiPageExternalLink	https://granule-project.github.io/ https://mitpress-request.mit.edu/sites/default/files/titles/content/9780262162289_sch_0001.pdf https://dl.acm.org/doi/pdf/10.1145/3158093 http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-194/ http://users.eecs.northwestern.edu/~jesse/pubs/alms/ https://github.com/pikatchu/LinearML http://math.ucr.edu/home/baez/rosetta/rose3.pdf
dbo:wikiPageWikiLink	dbr:Computer_memory dbr:Noncommutative_logic dbr:Category_theory dbr:Input/output dbr:Stack-based_memory_allocation dbr:C++ dbr:F*_(programming_language) dbr:Glasgow_Haskell_Compiler dbr:Aliasing_(computing) dbr:API dbr:Clean_(programming_language) dbr:Type_system dbr:Compile_time dbr:Lock_(computer_science) dbr:Assignment_(computer_science) dbr:Reference_(computer_science) dbr:Combinatory_logic dbr:Diagonal_functor dbr:ATS_(programming_language) dbr:Linear_logic dbr:Substructural_logic dbr:Rust_(programming_language) dbr:Closed_monoidal_category dbr:Memory_management dbr:Computer_file dbc:Type_theory dbr:Mercury_(programming_language) dbr:Functor dbr:Uniqueness_type dbr:System_resource dbr:Effect_system dbr:Affine_logic dbr:Simply_typed_lambda_calculus dbr:Nim_(programming_language) dbr:Class_(computer_science) dbr:No-cloning_theorem dbr:Structural_rule dbr:Scope_(programming) dbr:Function_(computer_science) dbr:Quantum_computation dbr:Haskell_(programming_language) dbr:C++_(programming_language) dbr:Idris_(programming_language) dbr:Run_time_(program_lifecycle_phase) dbr:Internal_language dbr:Unique_ptr dbr:Parameter_(computer_science) dbr:Cartesian_closed_categories dbr:Relevant_logic
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:No dbt:Div_col dbt:Div_col_end dbt:Yes dbt:Type_systems dbt:Mono dbt:Cn dbt:Rp dbt:See-also dbt:Sdash dbt:Short_description
dct:subject	dbc:Type_theory
gold:hypernym	dbr:Family
rdf:type	owl:Thing
rdfs:label	Substructural type system (en)
rdfs:seeAlso	dbr:Linear_logic
owl:sameAs	freebase:Substructural type system wikidata:Substructural type system dbpedia-global:Substructural type system dbr:Substructural type system
prov:wasDerivedFrom	wikipedia-en:Substructural_type_system?oldid=1270220617&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Substructural_type_system
is dbo:wikiPageRedirects of	dbr:Linear_type dbr:Linear_type_system dbr:Linear_type_systems dbr:Linear_types dbr:Linear_typing dbr:Ordered_type dbr:Ordered_type_system dbr:Affine_type dbr:Affine_type_system dbr:Relevant_type dbr:Relevant_type_system dbr:Substructural_type_systems
is dbo:wikiPageWikiLink of	dbr:Noncommutative_logic dbr:Linear_logic dbr:Substructural_logic dbr:Data_type dbr:Relevance_logic dbr:Affine_logic dbr:Quantum_algebra dbr:Linear_type dbr:Linear_type_system dbr:Linear_type_systems dbr:Linear_types dbr:Linear_typing dbr:Ordered_type dbr:Ordered_type_system dbr:Affine_type dbr:Affine_type_system dbr:Relevant_type dbr:Relevant_type_system dbr:Substructural_type_systems
is foaf:primaryTopic of	wikipedia-en:Substructural_type_system