Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386316891> ?p ?o ?g. }
- W4386316891 endingPage "47" @default.
- W4386316891 startingPage "1" @default.
- W4386316891 abstract "Embedding is a language development technique that implements the object language as a library in a host language. There are many advantages of the approach, including being lightweight and the ability to inherit features of the host language. A notable example is the technique of HOAS, which makes crucial use of higher-order functions to represent abstract syntax trees with binders. Despite its popularity, HOAS has its limitations. We observe that HOAS struggles with semantic domains that cannot be naturally expressed as functions, particularly when open expressions are involved. Prominent examples of this include incremental computation and reversible/bidirectional languages. In this paper, we pin-point the challenge faced by HOAS as a mismatch between the semantic domain of host and object language functions, and propose a solution. The solution is based on the technique of unembedding , which converts from the finally-tagless representation to de Bruijn-indexed terms with strong correctness guarantees. We show that this approach is able to extend the applicability of HOAS while preserving its elegance. We provide a generic strategy for Embedding by Unembedding, and then demonstrate its effectiveness with two substantial case studies in the domains of incremental computation and bidirectional transformations. The resulting embedded implementations are comparable in features to the state-of-the-art language implementations in the respective areas." @default.
- W4386316891 created "2023-09-01" @default.
- W4386316891 creator A5002750827 @default.
- W4386316891 creator A5004575068 @default.
- W4386316891 creator A5072641397 @default.
- W4386316891 creator A5074307489 @default.
- W4386316891 date "2023-08-30" @default.
- W4386316891 modified "2023-10-01" @default.
- W4386316891 title "Embedding by Unembedding" @default.
- W4386316891 cites W1470114689 @default.
- W4386316891 cites W1506770266 @default.
- W4386316891 cites W1560964942 @default.
- W4386316891 cites W1567516333 @default.
- W4386316891 cites W1567793656 @default.
- W4386316891 cites W1568396250 @default.
- W4386316891 cites W1570178357 @default.
- W4386316891 cites W175712399 @default.
- W4386316891 cites W1966981171 @default.
- W4386316891 cites W1971597822 @default.
- W4386316891 cites W1973817937 @default.
- W4386316891 cites W1974555517 @default.
- W4386316891 cites W1992310464 @default.
- W4386316891 cites W1996404651 @default.
- W4386316891 cites W2000616678 @default.
- W4386316891 cites W2015392385 @default.
- W4386316891 cites W2015995083 @default.
- W4386316891 cites W2019962118 @default.
- W4386316891 cites W2020513727 @default.
- W4386316891 cites W2024951218 @default.
- W4386316891 cites W2039769798 @default.
- W4386316891 cites W2046645050 @default.
- W4386316891 cites W2057292961 @default.
- W4386316891 cites W2058162377 @default.
- W4386316891 cites W2062968803 @default.
- W4386316891 cites W2067158573 @default.
- W4386316891 cites W2073904768 @default.
- W4386316891 cites W2076676096 @default.
- W4386316891 cites W2083310717 @default.
- W4386316891 cites W2088376608 @default.
- W4386316891 cites W2092546644 @default.
- W4386316891 cites W2103424315 @default.
- W4386316891 cites W2105427466 @default.
- W4386316891 cites W2113582770 @default.
- W4386316891 cites W2123092976 @default.
- W4386316891 cites W2123887510 @default.
- W4386316891 cites W2125713144 @default.
- W4386316891 cites W2135643026 @default.
- W4386316891 cites W2153166264 @default.
- W4386316891 cites W2170455857 @default.
- W4386316891 cites W2172288767 @default.
- W4386316891 cites W2596094020 @default.
- W4386316891 cites W2752311799 @default.
- W4386316891 cites W2796830478 @default.
- W4386316891 cites W2802248566 @default.
- W4386316891 cites W2885852056 @default.
- W4386316891 cites W2888996570 @default.
- W4386316891 cites W2889867746 @default.
- W4386316891 cites W2928041919 @default.
- W4386316891 cites W2963821837 @default.
- W4386316891 cites W2966177220 @default.
- W4386316891 cites W2996342526 @default.
- W4386316891 cites W3006704621 @default.
- W4386316891 cites W3021448353 @default.
- W4386316891 cites W3033736604 @default.
- W4386316891 cites W3047089539 @default.
- W4386316891 cites W3098464136 @default.
- W4386316891 cites W3100748356 @default.
- W4386316891 cites W3114657538 @default.
- W4386316891 cites W3118180050 @default.
- W4386316891 cites W3121479906 @default.
- W4386316891 cites W3146412812 @default.
- W4386316891 cites W4206834996 @default.
- W4386316891 cites W4237428230 @default.
- W4386316891 cites W4246086292 @default.
- W4386316891 cites W4246781209 @default.
- W4386316891 cites W4247199554 @default.
- W4386316891 cites W4247695068 @default.
- W4386316891 doi "https://doi.org/10.1145/3607830" @default.
- W4386316891 hasPublicationYear "2023" @default.
- W4386316891 type Work @default.
- W4386316891 citedByCount "1" @default.
- W4386316891 countsByYear W43863168912023 @default.
- W4386316891 crossrefType "journal-article" @default.
- W4386316891 hasAuthorship W4386316891A5002750827 @default.
- W4386316891 hasAuthorship W4386316891A5004575068 @default.
- W4386316891 hasAuthorship W4386316891A5072641397 @default.
- W4386316891 hasAuthorship W4386316891A5074307489 @default.
- W4386316891 hasBestOaLocation W43863168911 @default.
- W4386316891 hasConcept C114408938 @default.
- W4386316891 hasConcept C126831891 @default.
- W4386316891 hasConcept C154945302 @default.
- W4386316891 hasConcept C18903297 @default.
- W4386316891 hasConcept C199360897 @default.
- W4386316891 hasConcept C26713055 @default.
- W4386316891 hasConcept C2781238097 @default.
- W4386316891 hasConcept C41008148 @default.
- W4386316891 hasConcept C41608201 @default.
- W4386316891 hasConcept C55439883 @default.