Matches in SemOpenAlex for { <https://semopenalex.org/work/W2239389360> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2239389360 abstract "Staging is a program generation paradigm with a clean, well-investigated semantics which statically ensures that the generated code is always well-typed and well-scoped. Staging is often used for specializing programs to the known properties or parts of data to improve efficiency, but so far it has been limited to generating terms. This short paper describes our ongoing work on extending staging, with its strong safety guarantees, to generation of non-terms, focusing on ML-style modules. The purpose is to map out the promises and challenges, then to pose a question to solicit the community's expertise in evaluating how essential our extensions are for the purpose of applying staging beyond the realm of terms. We demonstrate our extensions' use in specializing functor applications to eliminate its (currently large) overhead in OCaml. We explain the challenges that those extensions bring in and identify a promising line of attack. Unexpectedly, however, it turns out that we can avoid module generation altogether by representing modules, possibly containing abstract types, as polymorphic records. With the help of first-class modules, module specialization reduces to ordinary term specialization, which can be done with conventional staging. The extent to which this hack generalizes is unclear. Thus we have a question to the community: is there a compelling use case for module generation? With these insights and questions, we offer a starting point for a long-term program in the next stage of staging research." @default.
- W2239389360 created "2016-06-24" @default.
- W2239389360 creator A5046876389 @default.
- W2239389360 creator A5052312242 @default.
- W2239389360 creator A5071276091 @default.
- W2239389360 date "2016-01-11" @default.
- W2239389360 modified "2023-10-08" @default.
- W2239389360 title "Staging beyond terms: prospects and challenges" @default.
- W2239389360 cites W1978871081 @default.
- W2239389360 cites W1981665907 @default.
- W2239389360 cites W2008070495 @default.
- W2239389360 cites W2012619465 @default.
- W2239389360 cites W2036753530 @default.
- W2239389360 cites W2048223797 @default.
- W2239389360 cites W2104204098 @default.
- W2239389360 cites W2105231259 @default.
- W2239389360 cites W2135653967 @default.
- W2239389360 cites W2136952590 @default.
- W2239389360 cites W2147578933 @default.
- W2239389360 cites W2154044723 @default.
- W2239389360 cites W2296536988 @default.
- W2239389360 cites W4246781209 @default.
- W2239389360 cites W7558436 @default.
- W2239389360 doi "https://doi.org/10.1145/2847538.2847548" @default.
- W2239389360 hasPublicationYear "2016" @default.
- W2239389360 type Work @default.
- W2239389360 sameAs 2239389360 @default.
- W2239389360 citedByCount "8" @default.
- W2239389360 countsByYear W22393893602017 @default.
- W2239389360 countsByYear W22393893602018 @default.
- W2239389360 countsByYear W22393893602020 @default.
- W2239389360 countsByYear W22393893602021 @default.
- W2239389360 countsByYear W22393893602023 @default.
- W2239389360 crossrefType "proceedings-article" @default.
- W2239389360 hasAuthorship W2239389360A5046876389 @default.
- W2239389360 hasAuthorship W2239389360A5052312242 @default.
- W2239389360 hasAuthorship W2239389360A5071276091 @default.
- W2239389360 hasConcept C115903868 @default.
- W2239389360 hasConcept C121332964 @default.
- W2239389360 hasConcept C154945302 @default.
- W2239389360 hasConcept C17744445 @default.
- W2239389360 hasConcept C184337299 @default.
- W2239389360 hasConcept C199360897 @default.
- W2239389360 hasConcept C199539241 @default.
- W2239389360 hasConcept C2524010 @default.
- W2239389360 hasConcept C2777212361 @default.
- W2239389360 hasConcept C2778757428 @default.
- W2239389360 hasConcept C2779960059 @default.
- W2239389360 hasConcept C28719098 @default.
- W2239389360 hasConcept C33923547 @default.
- W2239389360 hasConcept C41008148 @default.
- W2239389360 hasConcept C61797465 @default.
- W2239389360 hasConcept C62520636 @default.
- W2239389360 hasConcept C98183937 @default.
- W2239389360 hasConceptScore W2239389360C115903868 @default.
- W2239389360 hasConceptScore W2239389360C121332964 @default.
- W2239389360 hasConceptScore W2239389360C154945302 @default.
- W2239389360 hasConceptScore W2239389360C17744445 @default.
- W2239389360 hasConceptScore W2239389360C184337299 @default.
- W2239389360 hasConceptScore W2239389360C199360897 @default.
- W2239389360 hasConceptScore W2239389360C199539241 @default.
- W2239389360 hasConceptScore W2239389360C2524010 @default.
- W2239389360 hasConceptScore W2239389360C2777212361 @default.
- W2239389360 hasConceptScore W2239389360C2778757428 @default.
- W2239389360 hasConceptScore W2239389360C2779960059 @default.
- W2239389360 hasConceptScore W2239389360C28719098 @default.
- W2239389360 hasConceptScore W2239389360C33923547 @default.
- W2239389360 hasConceptScore W2239389360C41008148 @default.
- W2239389360 hasConceptScore W2239389360C61797465 @default.
- W2239389360 hasConceptScore W2239389360C62520636 @default.
- W2239389360 hasConceptScore W2239389360C98183937 @default.
- W2239389360 hasLocation W22393893601 @default.
- W2239389360 hasOpenAccess W2239389360 @default.
- W2239389360 hasPrimaryLocation W22393893601 @default.
- W2239389360 hasRelatedWork W1587224678 @default.
- W2239389360 hasRelatedWork W1822667161 @default.
- W2239389360 hasRelatedWork W1965910013 @default.
- W2239389360 hasRelatedWork W2142782287 @default.
- W2239389360 hasRelatedWork W2172022734 @default.
- W2239389360 hasRelatedWork W2441671857 @default.
- W2239389360 hasRelatedWork W2948321003 @default.
- W2239389360 hasRelatedWork W343537745 @default.
- W2239389360 hasRelatedWork W4241732799 @default.
- W2239389360 hasRelatedWork W814702246 @default.
- W2239389360 isParatext "false" @default.
- W2239389360 isRetracted "false" @default.
- W2239389360 magId "2239389360" @default.
- W2239389360 workType "article" @default.