Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120146214> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2120146214 abstract "By allowing the programmer to write code that can generate code at run-time, meta-programming offers a powerful approach to program construction. For instance, meta-programming can often be employed to enhance program efficiency and facilitate the construction of generic programs. However, meta-programming, especially in an untyped setting, is notoriously error-prone. In this paper, we aim at making meta-programming less error-prone by providing a type system to facilitate the construction of correct meta-programs. We first introduce some code constructors for constructing typeful code representation in which program variables are replaced with deBruijn indices, and then formally demonstrate how such typeful code representation can be used to support meta-programming. The main contribution of the paper lies in recognition and then formalization of a novel approach to typed meta-programming that is practical, general and flexible." @default.
- W2120146214 created "2016-06-24" @default.
- W2120146214 creator A5036030981 @default.
- W2120146214 creator A5046868978 @default.
- W2120146214 date "2003-08-25" @default.
- W2120146214 modified "2023-10-17" @default.
- W2120146214 title "Meta-programming through typeful code representation" @default.
- W2120146214 cites W1555037657 @default.
- W2120146214 cites W1634581701 @default.
- W2120146214 cites W1984514567 @default.
- W2120146214 cites W1993318777 @default.
- W2120146214 cites W1996404651 @default.
- W2120146214 cites W2011669306 @default.
- W2120146214 cites W2029408547 @default.
- W2120146214 cites W2037575886 @default.
- W2120146214 cites W2041562780 @default.
- W2120146214 cites W2052822938 @default.
- W2120146214 cites W2063206077 @default.
- W2120146214 cites W2074674709 @default.
- W2120146214 cites W2088494048 @default.
- W2120146214 cites W2093264024 @default.
- W2120146214 cites W2094455839 @default.
- W2120146214 cites W2096314727 @default.
- W2120146214 cites W2163976959 @default.
- W2120146214 cites W2296536988 @default.
- W2120146214 cites W2568721247 @default.
- W2120146214 cites W4237428230 @default.
- W2120146214 doi "https://doi.org/10.1145/944705.944730" @default.
- W2120146214 hasPublicationYear "2003" @default.
- W2120146214 type Work @default.
- W2120146214 sameAs 2120146214 @default.
- W2120146214 citedByCount "35" @default.
- W2120146214 countsByYear W21201462142013 @default.
- W2120146214 countsByYear W21201462142014 @default.
- W2120146214 countsByYear W21201462142015 @default.
- W2120146214 countsByYear W21201462142016 @default.
- W2120146214 countsByYear W21201462142017 @default.
- W2120146214 countsByYear W21201462142018 @default.
- W2120146214 countsByYear W21201462142019 @default.
- W2120146214 countsByYear W21201462142021 @default.
- W2120146214 crossrefType "proceedings-article" @default.
- W2120146214 hasAuthorship W2120146214A5036030981 @default.
- W2120146214 hasAuthorship W2120146214A5046868978 @default.
- W2120146214 hasConcept C120558287 @default.
- W2120146214 hasConcept C150762246 @default.
- W2120146214 hasConcept C177264268 @default.
- W2120146214 hasConcept C17744445 @default.
- W2120146214 hasConcept C199360897 @default.
- W2120146214 hasConcept C199539241 @default.
- W2120146214 hasConcept C2776359362 @default.
- W2120146214 hasConcept C2776760102 @default.
- W2120146214 hasConcept C2778514511 @default.
- W2120146214 hasConcept C34165917 @default.
- W2120146214 hasConcept C35390924 @default.
- W2120146214 hasConcept C41008148 @default.
- W2120146214 hasConcept C50033165 @default.
- W2120146214 hasConcept C80444323 @default.
- W2120146214 hasConcept C94625758 @default.
- W2120146214 hasConcept C98183937 @default.
- W2120146214 hasConceptScore W2120146214C120558287 @default.
- W2120146214 hasConceptScore W2120146214C150762246 @default.
- W2120146214 hasConceptScore W2120146214C177264268 @default.
- W2120146214 hasConceptScore W2120146214C17744445 @default.
- W2120146214 hasConceptScore W2120146214C199360897 @default.
- W2120146214 hasConceptScore W2120146214C199539241 @default.
- W2120146214 hasConceptScore W2120146214C2776359362 @default.
- W2120146214 hasConceptScore W2120146214C2776760102 @default.
- W2120146214 hasConceptScore W2120146214C2778514511 @default.
- W2120146214 hasConceptScore W2120146214C34165917 @default.
- W2120146214 hasConceptScore W2120146214C35390924 @default.
- W2120146214 hasConceptScore W2120146214C41008148 @default.
- W2120146214 hasConceptScore W2120146214C50033165 @default.
- W2120146214 hasConceptScore W2120146214C80444323 @default.
- W2120146214 hasConceptScore W2120146214C94625758 @default.
- W2120146214 hasConceptScore W2120146214C98183937 @default.
- W2120146214 hasLocation W21201462141 @default.
- W2120146214 hasOpenAccess W2120146214 @default.
- W2120146214 hasPrimaryLocation W21201462141 @default.
- W2120146214 hasRelatedWork W1531012794 @default.
- W2120146214 hasRelatedWork W180441780 @default.
- W2120146214 hasRelatedWork W186841222 @default.
- W2120146214 hasRelatedWork W2060445097 @default.
- W2120146214 hasRelatedWork W2089642402 @default.
- W2120146214 hasRelatedWork W2120146214 @default.
- W2120146214 hasRelatedWork W2161156675 @default.
- W2120146214 hasRelatedWork W27046826 @default.
- W2120146214 hasRelatedWork W3163654609 @default.
- W2120146214 hasRelatedWork W2145303987 @default.
- W2120146214 isParatext "false" @default.
- W2120146214 isRetracted "false" @default.
- W2120146214 magId "2120146214" @default.
- W2120146214 workType "article" @default.