FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024951218> ?p ?o ?g. }

• W2024951218 abstract "A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source back to an updated source, governed by certain consistency conditions relating the two functions. Both the database and programming language communities have studied techniques that essentially allow a user to specify only one of get and put and have the other inferred automatically. All approaches so far to this bidirectionalization task have been syntactic in nature, either proposing a domain-specific language with limited expressiveness but built-in (and composable) backward components, or restricting get to a simple syntactic form from which some algorithm can synthesize an appropriate definition for put. Here we present a semantic approach instead. The idea is to take a general-purpose language, Haskell, and write a higher-order function that takes (polymorphic) get-functions as arguments and returns appropriate put-functions. All this on the level of semantic values, without being willing, or even able, to inspect the definition of get, and thus liberated from syntactic restraints. Our solution is inspired by relational parametricity and uses free theorems for proving the consistency conditions. It works beautifully." @default.
• W2024951218 created "2016-06-24" @default.
• W2024951218 creator A5026029995 @default.
• W2024951218 date "2009-01-21" @default.
• W2024951218 modified "2023-10-16" @default.
• W2024951218 title "Bidirectionalization for free! (Pearl)" @default.
• W2024951218 cites W1520174560 @default.
• W2024951218 cites W1590681881 @default.
• W2024951218 cites W1968277829 @default.
• W2024951218 cites W1968796785 @default.
• W2024951218 cites W2000616678 @default.
• W2024951218 cites W2021982406 @default.
• W2024951218 cites W2026511056 @default.
• W2024951218 cites W2037984920 @default.
• W2024951218 cites W2057292961 @default.
• W2024951218 cites W2113582770 @default.
• W2024951218 cites W2116813111 @default.
• W2024951218 cites W2121357705 @default.
• W2024951218 cites W2127382014 @default.
• W2024951218 cites W2146462464 @default.
• W2024951218 cites W2151592950 @default.
• W2024951218 cites W4253929418 @default.
• W2024951218 doi "https://doi.org/10.1145/1480881.1480904" @default.
• W2024951218 hasPublicationYear "2009" @default.
• W2024951218 type Work @default.
• W2024951218 sameAs 2024951218 @default.
• W2024951218 citedByCount "53" @default.
• W2024951218 countsByYear W20249512182012 @default.
• W2024951218 countsByYear W20249512182013 @default.
• W2024951218 countsByYear W20249512182014 @default.
• W2024951218 countsByYear W20249512182015 @default.
• W2024951218 countsByYear W20249512182016 @default.
• W2024951218 countsByYear W20249512182017 @default.
• W2024951218 countsByYear W20249512182018 @default.
• W2024951218 countsByYear W20249512182019 @default.
• W2024951218 countsByYear W20249512182021 @default.
• W2024951218 countsByYear W20249512182023 @default.
• W2024951218 crossrefType "proceedings-article" @default.
• W2024951218 hasAuthorship W2024951218A5026029995 @default.
• W2024951218 hasConcept C104317684 @default.
• W2024951218 hasConcept C111472728 @default.
• W2024951218 hasConcept C118615104 @default.
• W2024951218 hasConcept C134306372 @default.
• W2024951218 hasConcept C138885662 @default.
• W2024951218 hasConcept C14036430 @default.
• W2024951218 hasConcept C154945302 @default.
• W2024951218 hasConcept C162324750 @default.
• W2024951218 hasConcept C184337299 @default.
• W2024951218 hasConcept C185592680 @default.
• W2024951218 hasConcept C187736073 @default.
• W2024951218 hasConcept C199360897 @default.
• W2024951218 hasConcept C204241405 @default.
• W2024951218 hasConcept C27206212 @default.
• W2024951218 hasConcept C2776436953 @default.
• W2024951218 hasConcept C2779251273 @default.
• W2024951218 hasConcept C2780451532 @default.
• W2024951218 hasConcept C2780586882 @default.
• W2024951218 hasConcept C2780624054 @default.
• W2024951218 hasConcept C29585364 @default.
• W2024951218 hasConcept C33923547 @default.
• W2024951218 hasConcept C36503486 @default.
• W2024951218 hasConcept C41008148 @default.
• W2024951218 hasConcept C42383842 @default.
• W2024951218 hasConcept C55493867 @default.
• W2024951218 hasConcept C78458016 @default.
• W2024951218 hasConcept C80444323 @default.
• W2024951218 hasConcept C86803240 @default.
• W2024951218 hasConceptScore W2024951218C104317684 @default.
• W2024951218 hasConceptScore W2024951218C111472728 @default.
• W2024951218 hasConceptScore W2024951218C118615104 @default.
• W2024951218 hasConceptScore W2024951218C134306372 @default.
• W2024951218 hasConceptScore W2024951218C138885662 @default.
• W2024951218 hasConceptScore W2024951218C14036430 @default.
• W2024951218 hasConceptScore W2024951218C154945302 @default.
• W2024951218 hasConceptScore W2024951218C162324750 @default.
• W2024951218 hasConceptScore W2024951218C184337299 @default.
• W2024951218 hasConceptScore W2024951218C185592680 @default.
• W2024951218 hasConceptScore W2024951218C187736073 @default.
• W2024951218 hasConceptScore W2024951218C199360897 @default.
• W2024951218 hasConceptScore W2024951218C204241405 @default.
• W2024951218 hasConceptScore W2024951218C27206212 @default.
• W2024951218 hasConceptScore W2024951218C2776436953 @default.
• W2024951218 hasConceptScore W2024951218C2779251273 @default.
• W2024951218 hasConceptScore W2024951218C2780451532 @default.
• W2024951218 hasConceptScore W2024951218C2780586882 @default.
• W2024951218 hasConceptScore W2024951218C2780624054 @default.
• W2024951218 hasConceptScore W2024951218C29585364 @default.
• W2024951218 hasConceptScore W2024951218C33923547 @default.
• W2024951218 hasConceptScore W2024951218C36503486 @default.
• W2024951218 hasConceptScore W2024951218C41008148 @default.
• W2024951218 hasConceptScore W2024951218C42383842 @default.
• W2024951218 hasConceptScore W2024951218C55493867 @default.
• W2024951218 hasConceptScore W2024951218C78458016 @default.
• W2024951218 hasConceptScore W2024951218C80444323 @default.
• W2024951218 hasConceptScore W2024951218C86803240 @default.
• W2024951218 hasLocation W20249512181 @default.
• W2024951218 hasOpenAccess W2024951218 @default.
• W2024951218 hasPrimaryLocation W20249512181 @default.
• W2024951218 hasRelatedWork W135379672 @default.
• W2024951218 hasRelatedWork W1587224678 @default.

• next