Matches in DBpedia 2014 for { <http://dbpedia.org/resource/System_F-sub> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- System_F-sub abstract "In the branch of mathematical logic known as type theory, System F<:, pronounced "F-sub", is an extension of system F with subtyping. System F<: has been of central importance to programming language theory since the 1980s because the core of functional programming languages, like those in the ML family, support both parametric polymorphism and record subtyping, which can be expressed in System F<:.".
- System_F-sub wikiPageID "24093206".
- System_F-sub wikiPageRevisionID "552789611".
- System_F-sub hasPhotoCollection System_F-sub.
- 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 comment "In the branch of mathematical logic known as type theory, System F<:, pronounced "F-sub", is an extension of system F with subtyping. System F<: has been of central importance to programming language theory since the 1980s because the core of functional programming languages, like those in the ML family, support both parametric polymorphism and record subtyping, which can be expressed in System F<:.".
- System_F-sub label "System F-sub".
- System_F-sub sameAs m.07k841j.
- System_F-sub sameAs Q16977778.
- System_F-sub sameAs Q16977778.
- System_F-sub wasDerivedFrom System_F-sub?oldid=552789611.
- System_F-sub isPrimaryTopicOf System_F-sub.