About: http://dbpedia.org/resource/Parametricity

In the theory of programming languages in computer science, parametricity is a theoretical result that states that functions that have types that are related to each other share certain properties in common.

Property	Value
dbpprop:abstract	In the theory of programming languages in computer science, parametricity is a theoretical result that states that functions that have types that are related to each other share certain properties in common.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Parametricity
rdf:type	http://dbpedia.org/class/yago/ProgrammingLanguageTopics
rdfs:comment	In the theory of programming languages in computer science, parametricity is a theoretical result that states that functions that have types that are related to each other share certain properties in common.
rdfs:label	Parametricity
owl:sameAs	freebase:http://dbpedia.org/resource/Parametricity
skos:subject	dbpedia:Category:Programming_language_topics dbpedia:Category:Type_theory
foaf:page	http://en.wikipedia.org/wiki/Parametricity
is owl:sameAs of	yago:http://dbpedia.org/resource/Parametricity