http://dbpedia.org/ontology/abstract
|
In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures the intuition that all instances of a polymorphic function act the same way.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://homepages.inf.ed.ac.uk/wadler/topics/parametricity.html +
|
http://dbpedia.org/ontology/wikiPageID
|
9315395
|
http://dbpedia.org/ontology/wikiPageLength
|
4647
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1000125651
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Janis_Voigtlaender +
, http://dbpedia.org/resource/Patricia_Johann +
, http://dbpedia.org/resource/Haskell_programming_language +
, http://dbpedia.org/resource/Category:Type_theory +
, http://dbpedia.org/resource/Parametric_polymorphism +
, http://dbpedia.org/resource/John_C._Reynolds +
, http://dbpedia.org/resource/Programming_language_theory +
, http://dbpedia.org/resource/Category:Polymorphism_%28computer_science%29 +
, http://dbpedia.org/resource/Category:Programming_language_topics +
, http://dbpedia.org/resource/Strict_function +
, http://dbpedia.org/resource/Program_transformation +
, http://dbpedia.org/resource/Non-strict_programming_language +
, http://dbpedia.org/resource/Philip_Wadler +
, http://dbpedia.org/resource/Church_encoding +
, http://dbpedia.org/resource/Ad_hoc_polymorphism +
, http://dbpedia.org/resource/Lazy_evaluation +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Expand_section +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Programming_language_topics +
, http://dbpedia.org/resource/Category:Polymorphism_%28computer_science%29 +
, http://dbpedia.org/resource/Category:Type_theory +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Property +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Parametricity?oldid=1000125651&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Parametricity +
|
owl:sameAs |
http://rdf.freebase.com/ns/m.028480c +
, http://www.wikidata.org/entity/Q17144895 +
, https://global.dbpedia.org/id/ghdz +
, http://dbpedia.org/resource/Parametricity +
, http://fa.dbpedia.org/resource/%D9%BE%D8%A7%D8%B1%D8%A7%D9%85%D8%AA%D8%B1%DB%8C%D8%B3%DB%8C%D8%AA%D9%87 +
, http://yago-knowledge.org/resource/Parametricity +
|
rdf:type |
http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatProgrammingLanguageTopics +
, http://dbpedia.org/class/yago/Message106598915 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Subject106599788 +
, http://dbpedia.org/ontology/Building +
|
rdfs:comment |
In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures the intuition that all instances of a polymorphic function act the same way.
|
rdfs:label |
Parametricity
|