Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Substructural_type_system> ?p ?o }
Showing triples 1 to 83 of
83
with 100 triples per page.
- Substructural_type_system abstract "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. Such systems are useful for constraining access to system resources such as files, locks and memory by keeping track of changes of state that occur and preventing invalid states.".
- Substructural_type_system wikiPageExternalLink alms.
- Substructural_type_system wikiPageExternalLink LinearML.
- Substructural_type_system wikiPageID "14554100".
- Substructural_type_system wikiPageLength "6402".
- Substructural_type_system wikiPageOutDegree "51".
- Substructural_type_system wikiPageRevisionID "669320770".
- Substructural_type_system wikiPageWikiLink ATS_(programming_language).
- Substructural_type_system wikiPageWikiLink Affine_logic.
- Substructural_type_system wikiPageWikiLink Aliasing_(computing).
- Substructural_type_system wikiPageWikiLink Assignment_(computer_science).
- Substructural_type_system wikiPageWikiLink C++.
- Substructural_type_system wikiPageWikiLink Cartesian_closed_categories.
- Substructural_type_system wikiPageWikiLink Cartesian_closed_category.
- Substructural_type_system wikiPageWikiLink Categorical_logic.
- Substructural_type_system wikiPageWikiLink Category:Type_theory.
- Substructural_type_system wikiPageWikiLink Category_theory.
- Substructural_type_system wikiPageWikiLink Class_(computer_programming).
- Substructural_type_system wikiPageWikiLink Class_(computer_science).
- Substructural_type_system wikiPageWikiLink Clean_(programming_language).
- Substructural_type_system wikiPageWikiLink Closed_monoidal_category.
- Substructural_type_system wikiPageWikiLink Combinator.
- Substructural_type_system wikiPageWikiLink Combinatory_logic.
- Substructural_type_system wikiPageWikiLink Compile_time.
- Substructural_type_system wikiPageWikiLink Computer_file.
- Substructural_type_system wikiPageWikiLink Computer_memory.
- Substructural_type_system wikiPageWikiLink Diagonal_functor.
- Substructural_type_system wikiPageWikiLink Effect_system.
- Substructural_type_system wikiPageWikiLink F*_(programming_language).
- Substructural_type_system wikiPageWikiLink Function_(computer_science).
- Substructural_type_system wikiPageWikiLink Functor.
- Substructural_type_system wikiPageWikiLink Idris_(programming_language).
- Substructural_type_system wikiPageWikiLink output.
- Substructural_type_system wikiPageWikiLink Internal_language.
- Substructural_type_system wikiPageWikiLink Linear_logic.
- Substructural_type_system wikiPageWikiLink Lock_(computer_science).
- Substructural_type_system wikiPageWikiLink Memory_management.
- Substructural_type_system wikiPageWikiLink Mercury_(programming_language).
- Substructural_type_system wikiPageWikiLink No-cloning_theorem.
- Substructural_type_system wikiPageWikiLink Noncommutative_logic.
- Substructural_type_system wikiPageWikiLink Parameter_(computer_programming).
- Substructural_type_system wikiPageWikiLink Parameter_(computer_science).
- Substructural_type_system wikiPageWikiLink Quantum_computation.
- Substructural_type_system wikiPageWikiLink Quantum_computing.
- Substructural_type_system wikiPageWikiLink Reference_(computer_science).
- Substructural_type_system wikiPageWikiLink Relevance_logic.
- Substructural_type_system wikiPageWikiLink Relevant_logic.
- Substructural_type_system wikiPageWikiLink Resource_(computing).
- Substructural_type_system wikiPageWikiLink Run_time_(program_lifecycle_phase).
- Substructural_type_system wikiPageWikiLink Rust_(programming_language).
- Substructural_type_system wikiPageWikiLink Scope_(computer_science).
- Substructural_type_system wikiPageWikiLink Scope_(programming).
- Substructural_type_system wikiPageWikiLink Simply_typed_lambda_calculus.
- Substructural_type_system wikiPageWikiLink Smart_pointer.
- Substructural_type_system wikiPageWikiLink Stack-based_memory_allocation.
- Substructural_type_system wikiPageWikiLink Structural_rule.
- Substructural_type_system wikiPageWikiLink Subroutine.
- Substructural_type_system wikiPageWikiLink Substructural_logic.
- Substructural_type_system wikiPageWikiLink System_resource.
- Substructural_type_system wikiPageWikiLink Type_system.
- Substructural_type_system wikiPageWikiLink Unique_ptr.
- Substructural_type_system wikiPageWikiLink Uniqueness_type.
- Substructural_type_system wikiPageWikiLinkText "Substructural type system".
- Substructural_type_system wikiPageWikiLinkText "linear".
- Substructural_type_system wikiPageWikiLinkText "substructural type system".
- Substructural_type_system date "May 2015".
- Substructural_type_system hasPhotoCollection Substructural_type_system.
- Substructural_type_system reason ""Concurrent Clean" is not defined at the link. Is "concurrent" a normal adjective or part of the name?"".
- Substructural_type_system wikiPageUsesTemplate Template:Cite_book.
- Substructural_type_system wikiPageUsesTemplate Template:Reflist.
- Substructural_type_system wikiPageUsesTemplate Template:Sfn.
- Substructural_type_system wikiPageUsesTemplate Template:Type_systems.
- Substructural_type_system wikiPageUsesTemplate Template:What.
- Substructural_type_system subject Category:Type_theory.
- Substructural_type_system hypernym Family.
- Substructural_type_system type Thing.
- Substructural_type_system comment "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. Such systems are useful for constraining access to system resources such as files, locks and memory by keeping track of changes of state that occur and preventing invalid states.".
- Substructural_type_system label "Substructural type system".
- Substructural_type_system sameAs m.03d7qnb.
- Substructural_type_system sameAs Q7632172.
- Substructural_type_system sameAs Q7632172.
- Substructural_type_system wasDerivedFrom Substructural_type_system?oldid=669320770.
- Substructural_type_system isPrimaryTopicOf Substructural_type_system.