Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300798858> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4300798858 abstract "We describe a new approach to domain specific languages (DSLs), called Quoted DSLs (QDSLs), that resurrects two old ideas: quotation, from McCarthy's Lisp of 1960, and the subformula property, from Gentzen's natural deduction of 1935. Quoted terms allow the DSL to share the syntax and type system of the host language. Normalising quoted terms ensures the subformula property, which guarantees that one can use higher-order types in the source while guaranteeing first-order types in the target, and enables using types to guide fusion. We test our ideas by re-implementing Feldspar, which was originally implemented as an Embedded DSL (EDSL), as a QDSL; and we compare the QDSL and EDSL variants." @default.
- W4300798858 created "2022-10-04" @default.
- W4300798858 creator A5018878077 @default.
- W4300798858 creator A5061903791 @default.
- W4300798858 creator A5070612439 @default.
- W4300798858 creator A5080436998 @default.
- W4300798858 date "2015-07-26" @default.
- W4300798858 modified "2023-09-29" @default.
- W4300798858 title "Everything old is new again: Quoted Domain Specific Languages" @default.
- W4300798858 doi "https://doi.org/10.48550/arxiv.1507.07264" @default.
- W4300798858 hasPublicationYear "2015" @default.
- W4300798858 type Work @default.
- W4300798858 citedByCount "0" @default.
- W4300798858 crossrefType "posted-content" @default.
- W4300798858 hasAuthorship W4300798858A5018878077 @default.
- W4300798858 hasAuthorship W4300798858A5061903791 @default.
- W4300798858 hasAuthorship W4300798858A5070612439 @default.
- W4300798858 hasAuthorship W4300798858A5080436998 @default.
- W4300798858 hasBestOaLocation W43007988581 @default.
- W4300798858 hasConcept C111472728 @default.
- W4300798858 hasConcept C134306372 @default.
- W4300798858 hasConcept C135257023 @default.
- W4300798858 hasConcept C138885662 @default.
- W4300798858 hasConcept C18903297 @default.
- W4300798858 hasConcept C189950617 @default.
- W4300798858 hasConcept C190883126 @default.
- W4300798858 hasConcept C199360897 @default.
- W4300798858 hasConcept C201374245 @default.
- W4300798858 hasConcept C204321447 @default.
- W4300798858 hasConcept C2777299769 @default.
- W4300798858 hasConcept C2779353305 @default.
- W4300798858 hasConcept C33923547 @default.
- W4300798858 hasConcept C34736171 @default.
- W4300798858 hasConcept C36503486 @default.
- W4300798858 hasConcept C41008148 @default.
- W4300798858 hasConcept C41895202 @default.
- W4300798858 hasConcept C60048249 @default.
- W4300798858 hasConcept C76155785 @default.
- W4300798858 hasConcept C86803240 @default.
- W4300798858 hasConceptScore W4300798858C111472728 @default.
- W4300798858 hasConceptScore W4300798858C134306372 @default.
- W4300798858 hasConceptScore W4300798858C135257023 @default.
- W4300798858 hasConceptScore W4300798858C138885662 @default.
- W4300798858 hasConceptScore W4300798858C18903297 @default.
- W4300798858 hasConceptScore W4300798858C189950617 @default.
- W4300798858 hasConceptScore W4300798858C190883126 @default.
- W4300798858 hasConceptScore W4300798858C199360897 @default.
- W4300798858 hasConceptScore W4300798858C201374245 @default.
- W4300798858 hasConceptScore W4300798858C204321447 @default.
- W4300798858 hasConceptScore W4300798858C2777299769 @default.
- W4300798858 hasConceptScore W4300798858C2779353305 @default.
- W4300798858 hasConceptScore W4300798858C33923547 @default.
- W4300798858 hasConceptScore W4300798858C34736171 @default.
- W4300798858 hasConceptScore W4300798858C36503486 @default.
- W4300798858 hasConceptScore W4300798858C41008148 @default.
- W4300798858 hasConceptScore W4300798858C41895202 @default.
- W4300798858 hasConceptScore W4300798858C60048249 @default.
- W4300798858 hasConceptScore W4300798858C76155785 @default.
- W4300798858 hasConceptScore W4300798858C86803240 @default.
- W4300798858 hasLocation W43007988581 @default.
- W4300798858 hasLocation W43007988582 @default.
- W4300798858 hasLocation W43007988583 @default.
- W4300798858 hasOpenAccess W4300798858 @default.
- W4300798858 hasPrimaryLocation W43007988581 @default.
- W4300798858 hasRelatedWork W146241770 @default.
- W4300798858 hasRelatedWork W1972162283 @default.
- W4300798858 hasRelatedWork W2052940648 @default.
- W4300798858 hasRelatedWork W2064069225 @default.
- W4300798858 hasRelatedWork W2064889208 @default.
- W4300798858 hasRelatedWork W207016632 @default.
- W4300798858 hasRelatedWork W2122339407 @default.
- W4300798858 hasRelatedWork W2161636786 @default.
- W4300798858 hasRelatedWork W3082759807 @default.
- W4300798858 hasRelatedWork W4241228054 @default.
- W4300798858 isParatext "false" @default.
- W4300798858 isRetracted "false" @default.
- W4300798858 workType "article" @default.