About: Parametric polymorphism

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Basis of generic programming

Property	Value
dbo:description	basis of generic programming (en) راهی برای رسا و گویاتر کردن زبان به گونه ای که همچنان نوع-ایمن بماند (fa) 编程概念 (zh)
dbo:wikiPageExternalLink	https://figshare.com/articles/journal_contribution/Towards_a_Theory_of_Type_Structure/6611015 https://www.pure.ed.ac.uk/ws/files/15143545/1_s2.0_0022000078900144_main.pdf http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf%7Cjournal
dbo:wikiPageWikiLink	dbr:Object_Pascal dbr:Type_variable dbr:System_F dbr:Parametricity dbr:Peter_Wegner dbr:Trait_(computer_programming) dbr:C++ dbr:C_Sharp_(programming_language) dbr:Subtyping dbr:Syntax_(programming_languages) dbr:Quantifier_(logic) dbr:Standard_ML dbr:F_Sharp_(programming_language) dbr:Template_specialization dbr:Intuitionistic_type_theory dbr:Haskell dbr:Universal_quantification dbr:Visual_Prolog dbr:Identity_function dbr:Type_class dbr:Type_system dbr:Lecture_Notes_in_Computer_Science dbr:Type_theory dbr:Typed_lambda_calculus dbr:ACM_Computing_Surveys dbr:Java_(programming_language) dbr:OCaml dbr:TypeScript dbr:Impredicativity dbr:Call_site dbr:Product_type dbr:Formal_logic dbr:Programming_language dbr:Ad_hoc_polymorphism dbc:Polymorphism_(computer_science) dbc:Type_theory dbr:Generic_programming dbr:Mercury_(programming_language) dbr:Ada_(programming_language) dbr:Julia_(programming_language) dbr:Transactions_of_the_American_Mathematical_Society dbr:Polymorphic_recursion dbr:Scala_(programming_language) dbc:Generic_programming dbr:ML_(programming_language) dbr:Linked_list dbr:Python_(programming_language) dbr:Type_inference dbr:Lambda_cube dbr:Luca_Cardelli dbr:Journal_of_Computer_and_System_Sciences dbr:Most_general_unifier dbr:ML_programming_language dbr:Haskell_(programming_language) dbr:Visual_Basic_.NET dbr:Append dbr:NuPRL dbr:Prenex dbr:Subtype_polymorphism
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Cite_conference dbt:Data_types dbt:Citation dbt:Polymorphism dbt:Refimprove_section dbt:Rp dbt:Short_description
dct:subject	dbc:Polymorphism_(computer_science) dbc:Type_theory dbc:Generic_programming
gold:hypernym	dbr:Way
rdfs:label	Parametric polymorphism (en) Παραμετρικός πολυμορφισμός (el) Параметрический полиморфизм (ru) Polimorfismo paramétrico (pt) 参数多态 (zh)
owl:sameAs	freebase:Parametric polymorphism wikidata:Parametric polymorphism dbpedia-zh:Parametric polymorphism dbpedia-pt:Parametric polymorphism dbpedia-fa:Parametric polymorphism dbpedia-ru:Parametric polymorphism dbpedia-el:Parametric polymorphism dbpedia-global:Parametric polymorphism dbr:Parametric polymorphism
prov:wasDerivedFrom	wikipedia-en:Parametric_polymorphism?oldid=1292248405&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Parametric_polymorphism
is dbo:wikiPageDisambiguates of	dbr:Polymorphism dbr:Parametric
is dbo:wikiPageRedirects of	dbr:Bounded_parametric_polymorphism dbr:Rank_(type_theory) dbr:Higher-ranked_type dbr:Higher-ranked_type dbr:First-class_polymorphism dbr:First_class_polymorphism dbr:Predicative_polymorphism dbr:Higher-rank_type dbr:Higher-ranked_polymorphism dbr:Higher_rank_type dbr:Higher_ranked_type dbr:Rank-n_polymorphism dbr:Rank2Types dbr:RankNTypes dbr:Rank_n_polymorphism dbr:Parametric_Polymorphism dbr:Impredicative_polymorphism dbr:Type_arguments
is dbo:wikiPageWikiLink of	dbr:Type_variable dbr:System_F dbr:Gödel_(programming_language) dbr:Reification_(computer_science) dbr:Parametricity dbr:Monad_(functional_programming) dbr:Natural_deduction dbr:Trait_(computer_programming) dbr:C++ dbr:Object-oriented_programming dbr:Polymorphism_(computer_science) dbr:Subtyping dbr:Template_metaprogramming dbr:Variable_(computer_science) dbr:Map_(higher-order_function) dbr:Many-sorted_logic dbr:Glasgow_Haskell_Compiler dbr:Visual_Prolog dbr:Typing_rule dbr:Unification_(computer_science) dbr:Hindley–Milner_type_system dbr:Type_class dbr:Type_system dbr:David_Turner_(computer_scientist) dbr:Function_type dbr:Fundamental_Concepts_in_Programming_Languages dbr:OCaml dbr:ILNumerics dbr:Algebraic_data_type dbr:Denotational_semantics dbr:Top_type dbr:History_of_programming_languages dbr:Polymorphism dbr:Ad_hoc_polymorphism dbr:Ceylon_(programming_language) dbr:Covariance_and_contravariance_(computer_science) dbr:Generic_programming dbr:Bounded_parametric_polymorphism dbr:Ruby_(programming_language) dbr:Julia_(programming_language) dbr:Parametric dbr:Polymorphic_recursion dbr:Scala_(programming_language) dbr:Bounded_quantification dbr:Logic_for_Computable_Functions dbr:Value_restriction dbr:ML_(programming_language) dbr:Simply_typed_lambda_calculus dbr:Haxe dbr:Option_type dbr:Type_inference dbr:Lambda_cube dbr:Bottom_type dbr:Generalized_algebraic_data_type dbr:Programming_language_theory dbr:Kind_(type_theory) dbr:System_U dbr:Rank_(type_theory) dbr:Alt-Ergo dbr:Higher-ranked_type dbr:Generic_function dbr:Universal_type dbr:Flix_(programming_language) dbr:Idris_(programming_language) dbr:Intersection_type dbr:Intersection_type_discipline dbr:Monomorphization dbr:List_of_important_publications_in_computer_science dbr:First-class_polymorphism dbr:First_class_polymorphism dbr:Predicative_polymorphism dbr:Higher-rank_type dbr:Higher-ranked_polymorphism dbr:Higher_rank_type dbr:Higher_ranked_type dbr:Rank-n_polymorphism dbr:Rank2Types dbr:RankNTypes dbr:Rank_n_polymorphism dbr:Parametric_Polymorphism dbr:Impredicative_polymorphism dbr:Type_arguments
is dbp:typing of	dbr:Julia_(programming_language)
is rdfs:seeAlso of	dbr:C++_syntax dbr:Polymorphic_recursion
is foaf:primaryTopic of	wikipedia-en:Parametric_polymorphism