Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964788122> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2964788122 endingPage "22" @default.
- W2964788122 startingPage "1" @default.
- W2964788122 abstract "In this paper we revisit the connection between parametricity and noninterference. Our primary contribution is a proof of noninterference for a polyvariant variation of the Dependency Core Calculus of in the Calculus of Constructions. The proof is modular: it leverages parametricity for the Calculus of Constructions and the encoding of data abstraction using existential types. This perspective gives rise to simple and understandable proofs of noninterference from parametricity. All our contributions have been mechanised in the Agda proof assistant." @default.
- W2964788122 created "2019-08-13" @default.
- W2964788122 creator A5060824078 @default.
- W2964788122 creator A5070681215 @default.
- W2964788122 date "2019-07-26" @default.
- W2964788122 modified "2023-09-27" @default.
- W2964788122 title "Simple noninterference from parametricity" @default.
- W2964788122 cites W1664326696 @default.
- W2964788122 cites W1979413599 @default.
- W2964788122 cites W1986402635 @default.
- W2964788122 cites W1997143185 @default.
- W2964788122 cites W2027423863 @default.
- W2964788122 cites W2027657506 @default.
- W2964788122 cites W2028705369 @default.
- W2964788122 cites W2033178475 @default.
- W2964788122 cites W2057292961 @default.
- W2964788122 cites W2067012475 @default.
- W2964788122 cites W2538446731 @default.
- W2964788122 cites W2602388145 @default.
- W2964788122 cites W2766482825 @default.
- W2964788122 cites W2774134654 @default.
- W2964788122 cites W2896851649 @default.
- W2964788122 cites W2997403635 @default.
- W2964788122 cites W4253277433 @default.
- W2964788122 doi "https://doi.org/10.1145/3341693" @default.
- W2964788122 hasPublicationYear "2019" @default.
- W2964788122 type Work @default.
- W2964788122 sameAs 2964788122 @default.
- W2964788122 citedByCount "12" @default.
- W2964788122 countsByYear W29647881222019 @default.
- W2964788122 countsByYear W29647881222020 @default.
- W2964788122 countsByYear W29647881222021 @default.
- W2964788122 countsByYear W29647881222022 @default.
- W2964788122 countsByYear W29647881222023 @default.
- W2964788122 crossrefType "journal-article" @default.
- W2964788122 hasAuthorship W2964788122A5060824078 @default.
- W2964788122 hasAuthorship W2964788122A5070681215 @default.
- W2964788122 hasBestOaLocation W29647881221 @default.
- W2964788122 hasConcept C101468663 @default.
- W2964788122 hasConcept C108710211 @default.
- W2964788122 hasConcept C111472728 @default.
- W2964788122 hasConcept C124304363 @default.
- W2964788122 hasConcept C138885662 @default.
- W2964788122 hasConcept C199343813 @default.
- W2964788122 hasConcept C199360897 @default.
- W2964788122 hasConcept C2524010 @default.
- W2964788122 hasConcept C2777686260 @default.
- W2964788122 hasConcept C2780586882 @default.
- W2964788122 hasConcept C33923547 @default.
- W2964788122 hasConcept C41008148 @default.
- W2964788122 hasConcept C71924100 @default.
- W2964788122 hasConceptScore W2964788122C101468663 @default.
- W2964788122 hasConceptScore W2964788122C108710211 @default.
- W2964788122 hasConceptScore W2964788122C111472728 @default.
- W2964788122 hasConceptScore W2964788122C124304363 @default.
- W2964788122 hasConceptScore W2964788122C138885662 @default.
- W2964788122 hasConceptScore W2964788122C199343813 @default.
- W2964788122 hasConceptScore W2964788122C199360897 @default.
- W2964788122 hasConceptScore W2964788122C2524010 @default.
- W2964788122 hasConceptScore W2964788122C2777686260 @default.
- W2964788122 hasConceptScore W2964788122C2780586882 @default.
- W2964788122 hasConceptScore W2964788122C33923547 @default.
- W2964788122 hasConceptScore W2964788122C41008148 @default.
- W2964788122 hasConceptScore W2964788122C71924100 @default.
- W2964788122 hasIssue "ICFP" @default.
- W2964788122 hasLocation W29647881221 @default.
- W2964788122 hasLocation W29647881222 @default.
- W2964788122 hasOpenAccess W2964788122 @default.
- W2964788122 hasPrimaryLocation W29647881221 @default.
- W2964788122 hasRelatedWork W137976737 @default.
- W2964788122 hasRelatedWork W1504651774 @default.
- W2964788122 hasRelatedWork W1565263828 @default.
- W2964788122 hasRelatedWork W1999473061 @default.
- W2964788122 hasRelatedWork W2052803392 @default.
- W2964788122 hasRelatedWork W2129292104 @default.
- W2964788122 hasRelatedWork W2256627947 @default.
- W2964788122 hasRelatedWork W3008492407 @default.
- W2964788122 hasRelatedWork W3160136729 @default.
- W2964788122 hasRelatedWork W2611182424 @default.
- W2964788122 hasVolume "3" @default.
- W2964788122 isParatext "false" @default.
- W2964788122 isRetracted "false" @default.
- W2964788122 magId "2964788122" @default.
- W2964788122 workType "article" @default.