About: Bounded quantification

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Subtype bound on the range of quantification in parametric polymorphism

Property	Value
dbo:description	subtype bound on the range of quantification in parametric polymorphism (en)
dbo:wikiPageExternalLink	http://www.cs.washington.edu/research/projects/cecil/www/Vortex-Three-Zero/doc-cecil-lang/cecil-spec-86.html http://dl.acm.org/citation.cfm%3Fid=99392 http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf%7Cjournal http://www.c2.com/cgi/wiki%3FBoundedPolymorphism
dbo:wikiPageWikiLink	dbr:System_F-sub dbr:Functional_programming dbr:C_Sharp_(programming_language) dbr:Parametric_polymorphism dbr:Subtyping dbr:Type_theory dbr:ACM_Computing_Surveys dbr:Benjamin_C._Pierce dbc:Articles_with_example_Java_code dbr:Java_(programming_language) dbr:Curiously_recurring_template_pattern dbc:Polymorphism_(computer_science) dbc:Type_theory dbr:Covariance_and_contravariance_(computer_science) dbr:Generic_programming dbr:Don_Syme dbr:Object-oriented_language dbr:Scala_(programming_language) dbr:Martin_Odersky dbr:Portland_Pattern_Repository dbr:Wildcard_(Java) dbr:Gilad_Bracha dbc:Object-oriented_programming dbr:Philip_Wadler dbr:John_C._Mitchell dbr:William_Cook_(computer_scientist) dbr:Andrew_Kennedy_(computer_scientist) dbr:David_Stoutamire dbr:Peter_S._Canning dbr:Walter_L._Hill dbr:William_Olthoff dbr:Existential_type dbr:Polymorphic_function dbr:Type_inheritance dbr:Universally_quantified
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:About dbt:Cn
dct:subject	dbc:Articles_with_example_Java_code dbc:Polymorphism_(computer_science) dbc:Type_theory dbc:Object-oriented_programming
rdfs:label	Bounded quantification (en)
owl:sameAs	freebase:Bounded quantification wikidata:Bounded quantification dbpedia-global:Bounded quantification
prov:wasDerivedFrom	wikipedia-en:Bounded_quantification?oldid=1265205608&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Bounded_quantification
is dbo:wikiPageRedirects of	dbr:Bounded_generic dbr:Bounded_genericity dbr:Bounded_generics dbr:Bounded_polymorphism dbr:F-bounded_quantification dbr:F-bound dbr:F-bounded dbr:F-bounded_genericity dbr:F-bounded_polymorphism dbr:Constrained_genericity dbr:Constrained_polymorphism dbr:Constrained_quantification dbr:Constraint_genericity dbr:Constraint_polymorphism dbr:Constraint_quantification dbr:Recursively_bounded_genericity dbr:Recursively_bounded_polymorphism dbr:Recursively_bounded_quantification
is dbo:wikiPageWikiLink of	dbr:Polymorphism_(computer_science) dbr:Subtyping dbr:Fluent_interface dbr:Comparison_of_C_Sharp_and_Java dbr:Curiously_recurring_template_pattern dbr:Polymorphism dbr:Covariance_and_contravariance_(computer_science) dbr:Bounded_generic dbr:Bounded_genericity dbr:Bounded_generics dbr:Bounded_polymorphism dbr:Wildcard_(Java) dbr:F-bounded_quantification dbr:Nonstandard_analysis dbr:Generics_in_Java dbr:F-bound dbr:F-bounded dbr:F-bounded_genericity dbr:F-bounded_polymorphism dbr:Constrained_genericity dbr:Constrained_polymorphism dbr:Constrained_quantification dbr:Constraint_genericity dbr:Constraint_polymorphism dbr:Constraint_quantification dbr:Recursively_bounded_genericity dbr:Recursively_bounded_polymorphism dbr:Recursively_bounded_quantification
is foaf:primaryTopic of	wikipedia-en:Bounded_quantification