Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Bounded_quantification> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- Bounded_quantification abstract "In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping. Bounded quantification has traditionally been studied in the functional setting of System F<:, but is available in modern object-oriented languages supporting parametric polymorphism (generics) such as Java, C# and Scala.".
- Bounded_quantification wikiPageExternalLink wtf-is-fbounded-polymorphism.html.
- Bounded_quantification wikiPageExternalLink wiki?BoundedPolymorphism.
- Bounded_quantification wikiPageExternalLink OrderedList-java.html.
- Bounded_quantification wikiPageExternalLink cecil-spec-86.html.
- Bounded_quantification wikiPageID "24103948".
- Bounded_quantification wikiPageRevisionID "552793152".
- Bounded_quantification hasPhotoCollection Bounded_quantification.
- Bounded_quantification subject Category:Object-oriented_programming.
- Bounded_quantification subject Category:Polymorphism_(computer_science).
- Bounded_quantification subject Category:Type_theory.
- Bounded_quantification comment "In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping.".
- Bounded_quantification label "Bounded quantification".
- Bounded_quantification sameAs m.0gtxm0t.
- Bounded_quantification sameAs Q4949985.
- Bounded_quantification sameAs Q4949985.
- Bounded_quantification wasDerivedFrom Bounded_quantification?oldid=552793152.
- Bounded_quantification isPrimaryTopicOf Bounded_quantification.