Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036168088> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3036168088 abstract "Embedded programming style allows to split the syntax in two parts, representing respectively a host language H and a core language C embedded in H. This formally models several situations in which a user writes code in a main language and delegates some tasks to an ad hoc domain specific language. Moreover, as showed in recent years, a particular case of the host-core approach allows a flexible management of data linearity, which is particularly useful in non-classical computational paradigms such as quantum computing. The definition of a systematised type theory to capture and standardize common properties of embedded languages is unexplored. The aim of this paper is to present a flexible fragment of such a type theory, together with its categorical semantics in terms of enriched categories, following previous investigations. We present the calculus HC0 and we use the notion of internal language of a category to relate the language to the class of its models, showing the equivalence between the category of models and the one of theories. This provides a stronger result w.r.t. standard soundness and completeness since it involves not only the models but also morphisms between models. We observe that the definition of the morphisms between models highlights further advantages of the embedded languages and we discuss some concrete instances, extensions and specializations of the syntax and the semantics." @default.
- W3036168088 created "2020-06-25" @default.
- W3036168088 creator A5020707353 @default.
- W3036168088 creator A5074259281 @default.
- W3036168088 date "2020-06-18" @default.
- W3036168088 modified "2023-09-27" @default.
- W3036168088 title "Compositional theories for embedded languages" @default.
- W3036168088 cites W1502726770 @default.
- W3036168088 cites W1507692549 @default.
- W3036168088 cites W1567995736 @default.
- W3036168088 cites W1973799895 @default.
- W3036168088 cites W2006319938 @default.
- W3036168088 cites W2021257181 @default.
- W3036168088 cites W2049362364 @default.
- W3036168088 cites W2563269605 @default.
- W3036168088 cites W2769186009 @default.
- W3036168088 cites W2802693374 @default.
- W3036168088 cites W2913347770 @default.
- W3036168088 cites W2949686459 @default.
- W3036168088 cites W3099525392 @default.
- W3036168088 cites W633412478 @default.
- W3036168088 hasPublicationYear "2020" @default.
- W3036168088 type Work @default.
- W3036168088 sameAs 3036168088 @default.
- W3036168088 citedByCount "0" @default.
- W3036168088 crossrefType "posted-content" @default.
- W3036168088 hasAuthorship W3036168088A5020707353 @default.
- W3036168088 hasAuthorship W3036168088A5074259281 @default.
- W3036168088 hasConcept C114408938 @default.
- W3036168088 hasConcept C114614502 @default.
- W3036168088 hasConcept C137212723 @default.
- W3036168088 hasConcept C138885662 @default.
- W3036168088 hasConcept C154945302 @default.
- W3036168088 hasConcept C184337299 @default.
- W3036168088 hasConcept C18903297 @default.
- W3036168088 hasConcept C199360897 @default.
- W3036168088 hasConcept C2777299769 @default.
- W3036168088 hasConcept C2780069185 @default.
- W3036168088 hasConcept C33923547 @default.
- W3036168088 hasConcept C39920170 @default.
- W3036168088 hasConcept C41008148 @default.
- W3036168088 hasConcept C41895202 @default.
- W3036168088 hasConcept C60048249 @default.
- W3036168088 hasConcept C86803240 @default.
- W3036168088 hasConcept C93682546 @default.
- W3036168088 hasConceptScore W3036168088C114408938 @default.
- W3036168088 hasConceptScore W3036168088C114614502 @default.
- W3036168088 hasConceptScore W3036168088C137212723 @default.
- W3036168088 hasConceptScore W3036168088C138885662 @default.
- W3036168088 hasConceptScore W3036168088C154945302 @default.
- W3036168088 hasConceptScore W3036168088C184337299 @default.
- W3036168088 hasConceptScore W3036168088C18903297 @default.
- W3036168088 hasConceptScore W3036168088C199360897 @default.
- W3036168088 hasConceptScore W3036168088C2777299769 @default.
- W3036168088 hasConceptScore W3036168088C2780069185 @default.
- W3036168088 hasConceptScore W3036168088C33923547 @default.
- W3036168088 hasConceptScore W3036168088C39920170 @default.
- W3036168088 hasConceptScore W3036168088C41008148 @default.
- W3036168088 hasConceptScore W3036168088C41895202 @default.
- W3036168088 hasConceptScore W3036168088C60048249 @default.
- W3036168088 hasConceptScore W3036168088C86803240 @default.
- W3036168088 hasConceptScore W3036168088C93682546 @default.
- W3036168088 hasLocation W30361680881 @default.
- W3036168088 hasOpenAccess W3036168088 @default.
- W3036168088 hasPrimaryLocation W30361680881 @default.
- W3036168088 hasRelatedWork W1519181820 @default.
- W3036168088 hasRelatedWork W1558384830 @default.
- W3036168088 hasRelatedWork W1604194452 @default.
- W3036168088 hasRelatedWork W1764939356 @default.
- W3036168088 hasRelatedWork W1860761177 @default.
- W3036168088 hasRelatedWork W1973030866 @default.
- W3036168088 hasRelatedWork W2062554483 @default.
- W3036168088 hasRelatedWork W2165718795 @default.
- W3036168088 hasRelatedWork W2168877757 @default.
- W3036168088 hasRelatedWork W2292428295 @default.
- W3036168088 hasRelatedWork W2343594650 @default.
- W3036168088 hasRelatedWork W2346706716 @default.
- W3036168088 hasRelatedWork W2530798984 @default.
- W3036168088 hasRelatedWork W2741834483 @default.
- W3036168088 hasRelatedWork W2912302045 @default.
- W3036168088 hasRelatedWork W2949532401 @default.
- W3036168088 hasRelatedWork W3003887104 @default.
- W3036168088 hasRelatedWork W3160523673 @default.
- W3036168088 hasRelatedWork W2185650591 @default.
- W3036168088 hasRelatedWork W2395333045 @default.
- W3036168088 isParatext "false" @default.
- W3036168088 isRetracted "false" @default.
- W3036168088 magId "3036168088" @default.
- W3036168088 workType "article" @default.