Matches in SemOpenAlex for { <https://semopenalex.org/work/W2562482846> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2562482846 abstract "It is quite natural to define a software language as an extension of a base language. A compiler builder usually prefers to work on a representation in the base language, while programmers prefer to program in the extended language. As we define a language extension, we want to ensure that desugaring it into the base language is provably sound." @default.
- W2562482846 created "2017-01-06" @default.
- W2562482846 creator A5014600241 @default.
- W2562482846 creator A5031844778 @default.
- W2562482846 date "2017-01-02" @default.
- W2562482846 modified "2023-09-28" @default.
- W2562482846 title "Lightweight soundness for towers of language extensions" @default.
- W2562482846 cites W1489879801 @default.
- W2562482846 cites W1973817937 @default.
- W2562482846 cites W2044417921 @default.
- W2562482846 cites W2080863863 @default.
- W2562482846 cites W2122537103 @default.
- W2562482846 cites W2123092976 @default.
- W2562482846 cites W2142044962 @default.
- W2562482846 cites W2210284694 @default.
- W2562482846 cites W2247694024 @default.
- W2562482846 cites W2296064069 @default.
- W2562482846 cites W4235903093 @default.
- W2562482846 doi "https://doi.org/10.1145/3018882.3018884" @default.
- W2562482846 hasPublicationYear "2017" @default.
- W2562482846 type Work @default.
- W2562482846 sameAs 2562482846 @default.
- W2562482846 citedByCount "2" @default.
- W2562482846 countsByYear W25624828462017 @default.
- W2562482846 countsByYear W25624828462019 @default.
- W2562482846 crossrefType "proceedings-article" @default.
- W2562482846 hasAuthorship W2562482846A5014600241 @default.
- W2562482846 hasAuthorship W2562482846A5031844778 @default.
- W2562482846 hasConcept C119263510 @default.
- W2562482846 hasConcept C124577441 @default.
- W2562482846 hasConcept C134306372 @default.
- W2562482846 hasConcept C15077461 @default.
- W2562482846 hasConcept C169590947 @default.
- W2562482846 hasConcept C177216440 @default.
- W2562482846 hasConcept C185954173 @default.
- W2562482846 hasConcept C19024347 @default.
- W2562482846 hasConcept C195324797 @default.
- W2562482846 hasConcept C199360897 @default.
- W2562482846 hasConcept C204321447 @default.
- W2562482846 hasConcept C20724563 @default.
- W2562482846 hasConcept C2778029271 @default.
- W2562482846 hasConcept C33923547 @default.
- W2562482846 hasConcept C34165917 @default.
- W2562482846 hasConcept C39920170 @default.
- W2562482846 hasConcept C41008148 @default.
- W2562482846 hasConcept C42058472 @default.
- W2562482846 hasConcept C50033165 @default.
- W2562482846 hasConcept C570499 @default.
- W2562482846 hasConcept C89505385 @default.
- W2562482846 hasConceptScore W2562482846C119263510 @default.
- W2562482846 hasConceptScore W2562482846C124577441 @default.
- W2562482846 hasConceptScore W2562482846C134306372 @default.
- W2562482846 hasConceptScore W2562482846C15077461 @default.
- W2562482846 hasConceptScore W2562482846C169590947 @default.
- W2562482846 hasConceptScore W2562482846C177216440 @default.
- W2562482846 hasConceptScore W2562482846C185954173 @default.
- W2562482846 hasConceptScore W2562482846C19024347 @default.
- W2562482846 hasConceptScore W2562482846C195324797 @default.
- W2562482846 hasConceptScore W2562482846C199360897 @default.
- W2562482846 hasConceptScore W2562482846C204321447 @default.
- W2562482846 hasConceptScore W2562482846C20724563 @default.
- W2562482846 hasConceptScore W2562482846C2778029271 @default.
- W2562482846 hasConceptScore W2562482846C33923547 @default.
- W2562482846 hasConceptScore W2562482846C34165917 @default.
- W2562482846 hasConceptScore W2562482846C39920170 @default.
- W2562482846 hasConceptScore W2562482846C41008148 @default.
- W2562482846 hasConceptScore W2562482846C42058472 @default.
- W2562482846 hasConceptScore W2562482846C50033165 @default.
- W2562482846 hasConceptScore W2562482846C570499 @default.
- W2562482846 hasConceptScore W2562482846C89505385 @default.
- W2562482846 hasFunder F4320321800 @default.
- W2562482846 hasLocation W25624828461 @default.
- W2562482846 hasOpenAccess W2562482846 @default.
- W2562482846 hasPrimaryLocation W25624828461 @default.
- W2562482846 hasRelatedWork W1999652909 @default.
- W2562482846 hasRelatedWork W2008516155 @default.
- W2562482846 hasRelatedWork W2013673681 @default.
- W2562482846 hasRelatedWork W2023056990 @default.
- W2562482846 hasRelatedWork W2039819583 @default.
- W2562482846 hasRelatedWork W2067569787 @default.
- W2562482846 hasRelatedWork W2133376498 @default.
- W2562482846 hasRelatedWork W2150277242 @default.
- W2562482846 hasRelatedWork W2245550411 @default.
- W2562482846 hasRelatedWork W4239980593 @default.
- W2562482846 isParatext "false" @default.
- W2562482846 isRetracted "false" @default.
- W2562482846 magId "2562482846" @default.
- W2562482846 workType "article" @default.