Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386317102> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4386317102 endingPage "648" @default.
- W4386317102 startingPage "604" @default.
- W4386317102 abstract "We introduce MacoCaml, a new design and implementation of compile-time code generation for the OCaml language. MacoCaml features a novel combination of macros with phase separation and quotation-based staging, where macros are considered as compile-time bindings, expression cross evaluation phases using staging annotations, and compile-time evaluation happens inside top-level splices. We provide a theoretical foundation for MacoCaml by formalizing a typed source calculus maco that supports interleaving typing and compile-time code generation, references with explicit compile-time heaps, and modules. We study various crucial properties including soundness and phase distinction. We have implemented MacoCaml in the OCaml compiler, and ported two substantial existing libraries to validate our implementation." @default.
- W4386317102 created "2023-09-01" @default.
- W4386317102 creator A5008249278 @default.
- W4386317102 creator A5020576379 @default.
- W4386317102 creator A5034258018 @default.
- W4386317102 creator A5070388191 @default.
- W4386317102 date "2023-08-30" @default.
- W4386317102 modified "2023-09-27" @default.
- W4386317102 title "MacoCaml: Staging Composable and Compilable Macros" @default.
- W4386317102 cites W1555697857 @default.
- W4386317102 cites W1963538417 @default.
- W4386317102 cites W1988177568 @default.
- W4386317102 cites W1990204174 @default.
- W4386317102 cites W2009775190 @default.
- W4386317102 cites W2022475779 @default.
- W4386317102 cites W2029786195 @default.
- W4386317102 cites W2037575886 @default.
- W4386317102 cites W2040581748 @default.
- W4386317102 cites W2055806388 @default.
- W4386317102 cites W2062145157 @default.
- W4386317102 cites W2081276788 @default.
- W4386317102 cites W2126328048 @default.
- W4386317102 cites W2133639043 @default.
- W4386317102 cites W2134291411 @default.
- W4386317102 cites W2145945984 @default.
- W4386317102 cites W2154697693 @default.
- W4386317102 cites W2187917193 @default.
- W4386317102 cites W2239389360 @default.
- W4386317102 cites W2247694024 @default.
- W4386317102 cites W2296544889 @default.
- W4386317102 cites W2528770764 @default.
- W4386317102 cites W2752261840 @default.
- W4386317102 cites W2769962266 @default.
- W4386317102 cites W2898037052 @default.
- W4386317102 cites W2912476809 @default.
- W4386317102 cites W2994726342 @default.
- W4386317102 cites W3037296081 @default.
- W4386317102 cites W3215948348 @default.
- W4386317102 cites W4205167460 @default.
- W4386317102 cites W4206286386 @default.
- W4386317102 cites W4240476803 @default.
- W4386317102 cites W4293813091 @default.
- W4386317102 doi "https://doi.org/10.1145/3607851" @default.
- W4386317102 hasPublicationYear "2023" @default.
- W4386317102 type Work @default.
- W4386317102 citedByCount "0" @default.
- W4386317102 crossrefType "journal-article" @default.
- W4386317102 hasAuthorship W4386317102A5008249278 @default.
- W4386317102 hasAuthorship W4386317102A5020576379 @default.
- W4386317102 hasAuthorship W4386317102A5034258018 @default.
- W4386317102 hasAuthorship W4386317102A5070388191 @default.
- W4386317102 hasConcept C106251023 @default.
- W4386317102 hasConcept C111919701 @default.
- W4386317102 hasConcept C133162039 @default.
- W4386317102 hasConcept C166955791 @default.
- W4386317102 hasConcept C169590947 @default.
- W4386317102 hasConcept C199360897 @default.
- W4386317102 hasConcept C200833197 @default.
- W4386317102 hasConcept C26517878 @default.
- W4386317102 hasConcept C2777904410 @default.
- W4386317102 hasConcept C28034677 @default.
- W4386317102 hasConcept C39920170 @default.
- W4386317102 hasConcept C41008148 @default.
- W4386317102 hasConceptScore W4386317102C106251023 @default.
- W4386317102 hasConceptScore W4386317102C111919701 @default.
- W4386317102 hasConceptScore W4386317102C133162039 @default.
- W4386317102 hasConceptScore W4386317102C166955791 @default.
- W4386317102 hasConceptScore W4386317102C169590947 @default.
- W4386317102 hasConceptScore W4386317102C199360897 @default.
- W4386317102 hasConceptScore W4386317102C200833197 @default.
- W4386317102 hasConceptScore W4386317102C26517878 @default.
- W4386317102 hasConceptScore W4386317102C2777904410 @default.
- W4386317102 hasConceptScore W4386317102C28034677 @default.
- W4386317102 hasConceptScore W4386317102C39920170 @default.
- W4386317102 hasConceptScore W4386317102C41008148 @default.
- W4386317102 hasFunder F4320322909 @default.
- W4386317102 hasFunder F4320334593 @default.
- W4386317102 hasIssue "ICFP" @default.
- W4386317102 hasLocation W43863171021 @default.
- W4386317102 hasOpenAccess W4386317102 @default.
- W4386317102 hasPrimaryLocation W43863171021 @default.
- W4386317102 hasRelatedWork W2044422526 @default.
- W4386317102 hasRelatedWork W2086733238 @default.
- W4386317102 hasRelatedWork W2141151161 @default.
- W4386317102 hasRelatedWork W2151259795 @default.
- W4386317102 hasRelatedWork W2369288331 @default.
- W4386317102 hasRelatedWork W2519339279 @default.
- W4386317102 hasRelatedWork W283806354 @default.
- W4386317102 hasRelatedWork W3006199460 @default.
- W4386317102 hasRelatedWork W4386317102 @default.
- W4386317102 hasRelatedWork W1482645738 @default.
- W4386317102 hasVolume "7" @default.
- W4386317102 isParatext "false" @default.
- W4386317102 isRetracted "false" @default.
- W4386317102 workType "article" @default.