Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899867207> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2899867207 endingPage "29" @default.
- W2899867207 startingPage "1" @default.
- W2899867207 abstract "We give a translation suitable for compilation of modern module calculi supporting sealing, generativity, translucent signatures, applicative functors, higher-order functors and/or first-class modules. Ours is the first module-compilation translation with a dynamic correctness theorem. The theorem states that the translation produces target terms that are contextually equivalent to the source, in an appropriate sense. A corollary of the theorem is that the translation is fully abstract. Consequently, the translation preserves all abstraction present in the source. In passing, we also show that modules are a definitional extension of the underlying core language. All of our proofs are formalized in Coq." @default.
- W2899867207 created "2018-11-16" @default.
- W2899867207 creator A5045900536 @default.
- W2899867207 date "2019-01-02" @default.
- W2899867207 modified "2023-10-16" @default.
- W2899867207 title "Fully abstract module compilation" @default.
- W2899867207 cites W1989916808 @default.
- W2899867207 cites W2003298503 @default.
- W2899867207 cites W2014889169 @default.
- W2899867207 cites W2030916392 @default.
- W2899867207 cites W2048569219 @default.
- W2899867207 cites W2053070172 @default.
- W2899867207 cites W2070880808 @default.
- W2899867207 cites W2104204098 @default.
- W2899867207 cites W2105126759 @default.
- W2899867207 cites W2110196404 @default.
- W2899867207 cites W2127818463 @default.
- W2899867207 cites W2133639043 @default.
- W2899867207 cites W2143028982 @default.
- W2899867207 cites W2144778998 @default.
- W2899867207 cites W2145945984 @default.
- W2899867207 cites W2161017670 @default.
- W2899867207 cites W2165264979 @default.
- W2899867207 cites W2167017930 @default.
- W2899867207 cites W2560961062 @default.
- W2899867207 cites W3163573021 @default.
- W2899867207 cites W4233881619 @default.
- W2899867207 doi "https://doi.org/10.1145/3290323" @default.
- W2899867207 hasPublicationYear "2019" @default.
- W2899867207 type Work @default.
- W2899867207 sameAs 2899867207 @default.
- W2899867207 citedByCount "3" @default.
- W2899867207 countsByYear W28998672072020 @default.
- W2899867207 countsByYear W28998672072021 @default.
- W2899867207 crossrefType "journal-article" @default.
- W2899867207 hasAuthorship W2899867207A5045900536 @default.
- W2899867207 hasBestOaLocation W28998672071 @default.
- W2899867207 hasConcept C104317684 @default.
- W2899867207 hasConcept C105580179 @default.
- W2899867207 hasConcept C108710211 @default.
- W2899867207 hasConcept C111472728 @default.
- W2899867207 hasConcept C118615104 @default.
- W2899867207 hasConcept C124304363 @default.
- W2899867207 hasConcept C138885662 @default.
- W2899867207 hasConcept C149364088 @default.
- W2899867207 hasConcept C154945302 @default.
- W2899867207 hasConcept C156772000 @default.
- W2899867207 hasConcept C185592680 @default.
- W2899867207 hasConcept C199360897 @default.
- W2899867207 hasConcept C203005215 @default.
- W2899867207 hasConcept C2524010 @default.
- W2899867207 hasConcept C2777212361 @default.
- W2899867207 hasConcept C2780012671 @default.
- W2899867207 hasConcept C33923547 @default.
- W2899867207 hasConcept C41008148 @default.
- W2899867207 hasConcept C55439883 @default.
- W2899867207 hasConcept C55493867 @default.
- W2899867207 hasConcept C98199350 @default.
- W2899867207 hasConceptScore W2899867207C104317684 @default.
- W2899867207 hasConceptScore W2899867207C105580179 @default.
- W2899867207 hasConceptScore W2899867207C108710211 @default.
- W2899867207 hasConceptScore W2899867207C111472728 @default.
- W2899867207 hasConceptScore W2899867207C118615104 @default.
- W2899867207 hasConceptScore W2899867207C124304363 @default.
- W2899867207 hasConceptScore W2899867207C138885662 @default.
- W2899867207 hasConceptScore W2899867207C149364088 @default.
- W2899867207 hasConceptScore W2899867207C154945302 @default.
- W2899867207 hasConceptScore W2899867207C156772000 @default.
- W2899867207 hasConceptScore W2899867207C185592680 @default.
- W2899867207 hasConceptScore W2899867207C199360897 @default.
- W2899867207 hasConceptScore W2899867207C203005215 @default.
- W2899867207 hasConceptScore W2899867207C2524010 @default.
- W2899867207 hasConceptScore W2899867207C2777212361 @default.
- W2899867207 hasConceptScore W2899867207C2780012671 @default.
- W2899867207 hasConceptScore W2899867207C33923547 @default.
- W2899867207 hasConceptScore W2899867207C41008148 @default.
- W2899867207 hasConceptScore W2899867207C55439883 @default.
- W2899867207 hasConceptScore W2899867207C55493867 @default.
- W2899867207 hasConceptScore W2899867207C98199350 @default.
- W2899867207 hasIssue "POPL" @default.
- W2899867207 hasLocation W28998672071 @default.
- W2899867207 hasOpenAccess W2899867207 @default.
- W2899867207 hasPrimaryLocation W28998672071 @default.
- W2899867207 hasRelatedWork W1558874663 @default.
- W2899867207 hasRelatedWork W1759303344 @default.
- W2899867207 hasRelatedWork W1971951984 @default.
- W2899867207 hasRelatedWork W2085818042 @default.
- W2899867207 hasRelatedWork W2899867207 @default.
- W2899867207 hasRelatedWork W2973978040 @default.
- W2899867207 hasRelatedWork W3036611088 @default.
- W2899867207 hasRelatedWork W3107163257 @default.
- W2899867207 hasRelatedWork W4238823939 @default.
- W2899867207 hasRelatedWork W2789178056 @default.
- W2899867207 hasVolume "3" @default.
- W2899867207 isParatext "false" @default.
- W2899867207 isRetracted "false" @default.
- W2899867207 magId "2899867207" @default.
- W2899867207 workType "article" @default.