Matches in SemOpenAlex for { <https://semopenalex.org/work/W2204984881> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2204984881 endingPage "181" @default.
- W2204984881 startingPage "165" @default.
- W2204984881 abstract "Reynolds' theory of parametric polymorphism captures the invariance of polymorphically typed programs under change of data representation. Semantically, reflexive graph categories and fibrations are both known to give a categorical understanding of parametric polymorphism. This paper contributes further to this categorical perspective by showing the relevance of bifibrations. We develop a bifibrational framework for models of System F that are parametric, in that they verify the Identity Extension Lemma and Reynolds' Abstraction Theorem. We also prove that our models satisfy expected properties, such as the existence of initial algebras and final coalgebras, and that parametricity implies dinaturality." @default.
- W2204984881 created "2016-06-24" @default.
- W2204984881 creator A5019324243 @default.
- W2204984881 creator A5044007936 @default.
- W2204984881 creator A5044225957 @default.
- W2204984881 creator A5065899567 @default.
- W2204984881 creator A5074935798 @default.
- W2204984881 date "2015-12-01" @default.
- W2204984881 modified "2023-09-27" @default.
- W2204984881 title "Bifibrational Functorial Semantics of Parametric Polymorphism" @default.
- W2204984881 cites W1513579486 @default.
- W2204984881 cites W2009885935 @default.
- W2204984881 cites W2018103337 @default.
- W2204984881 cites W2032017843 @default.
- W2204984881 cites W2101443478 @default.
- W2204984881 cites W2108885830 @default.
- W2204984881 cites W2115617817 @default.
- W2204984881 cites W2127382014 @default.
- W2204984881 cites W2130404229 @default.
- W2204984881 cites W2914837968 @default.
- W2204984881 cites W3163307291 @default.
- W2204984881 cites W4248166369 @default.
- W2204984881 doi "https://doi.org/10.1016/j.entcs.2015.12.011" @default.
- W2204984881 hasPublicationYear "2015" @default.
- W2204984881 type Work @default.
- W2204984881 sameAs 2204984881 @default.
- W2204984881 citedByCount "12" @default.
- W2204984881 countsByYear W22049848812016 @default.
- W2204984881 countsByYear W22049848812018 @default.
- W2204984881 countsByYear W22049848812019 @default.
- W2204984881 countsByYear W22049848812020 @default.
- W2204984881 countsByYear W22049848812021 @default.
- W2204984881 countsByYear W22049848812022 @default.
- W2204984881 crossrefType "journal-article" @default.
- W2204984881 hasAuthorship W2204984881A5019324243 @default.
- W2204984881 hasAuthorship W2204984881A5044007936 @default.
- W2204984881 hasAuthorship W2204984881A5044225957 @default.
- W2204984881 hasAuthorship W2204984881A5065899567 @default.
- W2204984881 hasAuthorship W2204984881A5074935798 @default.
- W2204984881 hasBestOaLocation W22049848811 @default.
- W2204984881 hasConcept C105795698 @default.
- W2204984881 hasConcept C117251300 @default.
- W2204984881 hasConcept C136119220 @default.
- W2204984881 hasConcept C184337299 @default.
- W2204984881 hasConcept C199360897 @default.
- W2204984881 hasConcept C202444582 @default.
- W2204984881 hasConcept C33923547 @default.
- W2204984881 hasConcept C41008148 @default.
- W2204984881 hasConcept C5274069 @default.
- W2204984881 hasConcept C80444323 @default.
- W2204984881 hasConceptScore W2204984881C105795698 @default.
- W2204984881 hasConceptScore W2204984881C117251300 @default.
- W2204984881 hasConceptScore W2204984881C136119220 @default.
- W2204984881 hasConceptScore W2204984881C184337299 @default.
- W2204984881 hasConceptScore W2204984881C199360897 @default.
- W2204984881 hasConceptScore W2204984881C202444582 @default.
- W2204984881 hasConceptScore W2204984881C33923547 @default.
- W2204984881 hasConceptScore W2204984881C41008148 @default.
- W2204984881 hasConceptScore W2204984881C5274069 @default.
- W2204984881 hasConceptScore W2204984881C80444323 @default.
- W2204984881 hasLocation W22049848811 @default.
- W2204984881 hasLocation W22049848812 @default.
- W2204984881 hasLocation W22049848813 @default.
- W2204984881 hasOpenAccess W2204984881 @default.
- W2204984881 hasPrimaryLocation W22049848811 @default.
- W2204984881 hasRelatedWork W1526789715 @default.
- W2204984881 hasRelatedWork W1557945163 @default.
- W2204984881 hasRelatedWork W1985218657 @default.
- W2204984881 hasRelatedWork W1996301369 @default.
- W2204984881 hasRelatedWork W2064847051 @default.
- W2204984881 hasRelatedWork W2096753949 @default.
- W2204984881 hasRelatedWork W2380389143 @default.
- W2204984881 hasRelatedWork W2742285599 @default.
- W2204984881 hasRelatedWork W2963341196 @default.
- W2204984881 hasRelatedWork W4249580765 @default.
- W2204984881 hasVolume "319" @default.
- W2204984881 isParatext "false" @default.
- W2204984881 isRetracted "false" @default.
- W2204984881 magId "2204984881" @default.
- W2204984881 workType "article" @default.