Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/System_F-sub> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- System_F-sub wikiPageID "24093206".
- System_F-sub wikiPageLength "1295".
- System_F-sub wikiPageOutDegree "16".
- System_F-sub wikiPageRevisionID "695749807".
- System_F-sub wikiPageWikiLink Bounded_quantification.
- System_F-sub wikiPageWikiLink Category:Functional_programming.
- System_F-sub wikiPageWikiLink Category:Lambda_calculus.
- System_F-sub wikiPageWikiLink Category:Polymorphism_(computer_science).
- System_F-sub wikiPageWikiLink Category:Type_theory.
- System_F-sub wikiPageWikiLink Functional_programming.
- System_F-sub wikiPageWikiLink ML_(programming_language).
- System_F-sub wikiPageWikiLink Mathematical_logic.
- System_F-sub wikiPageWikiLink POPLmark_challenge.
- System_F-sub wikiPageWikiLink Parametric_polymorphism.
- System_F-sub wikiPageWikiLink Programming_language_theory.
- System_F-sub wikiPageWikiLink Record_(computer_science).
- System_F-sub wikiPageWikiLink Subtyping.
- System_F-sub wikiPageWikiLink System_F.
- System_F-sub wikiPageWikiLink Type_theory.
- System_F-sub wikiPageWikiLinkText "System F-sub".
- System_F-sub wikiPageUsesTemplate Template:Citation_needed.
- System_F-sub wikiPageUsesTemplate Template:Cite_book.
- System_F-sub wikiPageUsesTemplate Template:Cite_conference.
- System_F-sub wikiPageUsesTemplate Template:Type-theory-stub.
- System_F-sub subject Category:Functional_programming.
- System_F-sub subject Category:Lambda_calculus.
- System_F-sub subject Category:Polymorphism_(computer_science).
- System_F-sub subject Category:Type_theory.
- System_F-sub hypernym Extension.
- System_F-sub type Model.
- System_F-sub type Software.
- System_F-sub type Concept.
- System_F-sub type Model.
- System_F-sub label "System F-sub".
- System_F-sub sameAs Q16977778.
- System_F-sub sameAs m.07k841j.
- System_F-sub sameAs Q16977778.
- System_F-sub wasDerivedFrom System_F-sub?oldid=695749807.
- System_F-sub isPrimaryTopicOf System_F-sub.