Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Structural_type_system> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Structural_type_system abstract "A structural type system (or property-based type system) is a major class of type system, in which type compatibility and equivalence are determined by the type's actual structure or definition, and not by other characteristics such as its name or place of declaration. Structural systems are used to determine if types are equivalent and whether a type is a subtype of another. It contrasts with nominative systems, where comparisons are based on the names of the types or explicit declarations, and duck typing, in which only the part of the structure accessed at runtime is checked for compatibility.".
- Structural_type_system wikiPageID "4471383".
- Structural_type_system wikiPageLength "7721".
- Structural_type_system wikiPageOutDegree "17".
- Structural_type_system wikiPageRevisionID "689305003".
- Structural_type_system wikiPageWikiLink Algebraic_data_type.
- Structural_type_system wikiPageWikiLink C++.
- Structural_type_system wikiPageWikiLink C2:NominativeAndStructuralTyping.
- Structural_type_system wikiPageWikiLink Category:Type_systems.
- Structural_type_system wikiPageWikiLink Dichotomy.
- Structural_type_system wikiPageWikiLink Duck_typing.
- Structural_type_system wikiPageWikiLink Go_(programming_language).
- Structural_type_system wikiPageWikiLink Haskell_(programming_language).
- Structural_type_system wikiPageWikiLink Haxe.
- Structural_type_system wikiPageWikiLink Nominal_type_system.
- Structural_type_system wikiPageWikiLink OCaml.
- Structural_type_system wikiPageWikiLink Protocol_(object-oriented_programming).
- Structural_type_system wikiPageWikiLink Subtyping.
- Structural_type_system wikiPageWikiLink Type_system.
- Structural_type_system wikiPageWikiLink Types_and_Programming_Languages.
- Structural_type_system wikiPageWikiLink WikiWikiWeb.
- Structural_type_system wikiPageWikiLinkText "Structural type system".
- Structural_type_system wikiPageWikiLinkText "Structural_type_system".
- Structural_type_system wikiPageWikiLinkText "structural subtyping".
- Structural_type_system wikiPageWikiLinkText "structural systems".
- Structural_type_system wikiPageWikiLinkText "structural type system".
- Structural_type_system wikiPageWikiLinkText "structural typing".
- Structural_type_system wikiPageWikiLinkText "structural".
- Structural_type_system wikiPageUsesTemplate Template:Cite_book.
- Structural_type_system wikiPageUsesTemplate Template:Refimprove.
- Structural_type_system wikiPageUsesTemplate Template:Reflist.
- Structural_type_system wikiPageUsesTemplate Template:Type_systems.
- Structural_type_system subject Category:Type_systems.
- Structural_type_system hypernym Class.
- Structural_type_system type Concept.
- Structural_type_system comment "A structural type system (or property-based type system) is a major class of type system, in which type compatibility and equivalence are determined by the type's actual structure or definition, and not by other characteristics such as its name or place of declaration. Structural systems are used to determine if types are equivalent and whether a type is a subtype of another.".
- Structural_type_system label "Structural type system".
- Structural_type_system sameAs Q936724.
- Structural_type_system sameAs Système_structurel_de_types.
- Structural_type_system sameAs m.0c49_w.
- Structural_type_system sameAs Q936724.
- Structural_type_system wasDerivedFrom Structural_type_system?oldid=689305003.
- Structural_type_system isPrimaryTopicOf Structural_type_system.