Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Parametricity> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Parametricity 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. It is closely related to the concept of natural transformation in category theory.".
- Parametricity wikiPageID "9315395".
- Parametricity wikiPageRevisionID "595055185".
- Parametricity hasPhotoCollection Parametricity.
- Parametricity subject Category:Polymorphism_(computer_science).
- Parametricity subject Category:Programming_language_topics.
- Parametricity subject Category:Type_theory.
- Parametricity type Abstraction100002137.
- Parametricity type Communication100033020.
- Parametricity type Message106598915.
- Parametricity type ProgrammingLanguageTopics.
- Parametricity type Subject106599788.
- Parametricity 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. It is closely related to the concept of natural transformation in category theory.".
- Parametricity label "Parametricity".
- Parametricity sameAs m.028480c.
- Parametricity sameAs Q17144895.
- Parametricity sameAs Q17144895.
- Parametricity sameAs Parametricity.
- Parametricity wasDerivedFrom Parametricity?oldid=595055185.
- Parametricity isPrimaryTopicOf Parametricity.