Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246394701> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4246394701 endingPage "88" @default.
- W4246394701 startingPage "77" @default.
- W4246394701 abstract "This paper presents a new functional programming model for graph structures called structured graphs . Structured graphs extend conventional algebraic datatypes with explicit definition and manipulation of cycles and/or sharing, and offer a practical and convenient way to program graphs in functional programming languages like Haskell. The representation of sharing and cycles (edges) employs recursive binders and uses an encoding inspired by parametric higher-order abstract syntax . Unlike traditional approaches based on mutable references or node/edge lists, well-formedness of the graph structure is ensured statically and reasoning can be done with standard functional programming techniques. Since the binding structure is generic, we can define many useful generic combinators for manipulating structured graphs. We give applications and show how to reason about structured graphs." @default.
- W4246394701 created "2022-05-12" @default.
- W4246394701 creator A5029147559 @default.
- W4246394701 creator A5049714036 @default.
- W4246394701 date "2012-09-09" @default.
- W4246394701 modified "2023-09-26" @default.
- W4246394701 title "Functional programming with structured graphs" @default.
- W4246394701 cites W1560964942 @default.
- W4246394701 cites W2018014973 @default.
- W4246394701 cites W2033185534 @default.
- W4246394701 cites W2037984920 @default.
- W4246394701 cites W2040687117 @default.
- W4246394701 cites W2046645050 @default.
- W4246394701 cites W2049814260 @default.
- W4246394701 cites W2057292961 @default.
- W4246394701 cites W2058137890 @default.
- W4246394701 cites W2074556793 @default.
- W4246394701 cites W2096280839 @default.
- W4246394701 cites W2116813111 @default.
- W4246394701 cites W2126243597 @default.
- W4246394701 cites W2131916293 @default.
- W4246394701 cites W2140647971 @default.
- W4246394701 cites W2151015971 @default.
- W4246394701 cites W2156429182 @default.
- W4246394701 cites W2173780645 @default.
- W4246394701 cites W2188521969 @default.
- W4246394701 cites W2945526390 @default.
- W4246394701 cites W4237428230 @default.
- W4246394701 cites W4246086292 @default.
- W4246394701 doi "https://doi.org/10.1145/2398856.2364541" @default.
- W4246394701 hasPublicationYear "2012" @default.
- W4246394701 type Work @default.
- W4246394701 citedByCount "4" @default.
- W4246394701 countsByYear W42463947012013 @default.
- W4246394701 countsByYear W42463947012017 @default.
- W4246394701 countsByYear W42463947012023 @default.
- W4246394701 crossrefType "journal-article" @default.
- W4246394701 hasAuthorship W4246394701A5029147559 @default.
- W4246394701 hasAuthorship W4246394701A5049714036 @default.
- W4246394701 hasBestOaLocation W42463947012 @default.
- W4246394701 hasConcept C146206909 @default.
- W4246394701 hasConcept C199360897 @default.
- W4246394701 hasConcept C2780624054 @default.
- W4246394701 hasConcept C34165917 @default.
- W4246394701 hasConcept C41008148 @default.
- W4246394701 hasConcept C42383842 @default.
- W4246394701 hasConcept C50033165 @default.
- W4246394701 hasConcept C79678938 @default.
- W4246394701 hasConcept C80444323 @default.
- W4246394701 hasConcept C96315309 @default.
- W4246394701 hasConceptScore W4246394701C146206909 @default.
- W4246394701 hasConceptScore W4246394701C199360897 @default.
- W4246394701 hasConceptScore W4246394701C2780624054 @default.
- W4246394701 hasConceptScore W4246394701C34165917 @default.
- W4246394701 hasConceptScore W4246394701C41008148 @default.
- W4246394701 hasConceptScore W4246394701C42383842 @default.
- W4246394701 hasConceptScore W4246394701C50033165 @default.
- W4246394701 hasConceptScore W4246394701C79678938 @default.
- W4246394701 hasConceptScore W4246394701C80444323 @default.
- W4246394701 hasConceptScore W4246394701C96315309 @default.
- W4246394701 hasIssue "9" @default.
- W4246394701 hasLocation W42463947011 @default.
- W4246394701 hasLocation W42463947012 @default.
- W4246394701 hasOpenAccess W4246394701 @default.
- W4246394701 hasPrimaryLocation W42463947011 @default.
- W4246394701 hasRelatedWork W1794229347 @default.
- W4246394701 hasRelatedWork W2033507668 @default.
- W4246394701 hasRelatedWork W2041555632 @default.
- W4246394701 hasRelatedWork W2060445097 @default.
- W4246394701 hasRelatedWork W2116311377 @default.
- W4246394701 hasRelatedWork W2175256523 @default.
- W4246394701 hasRelatedWork W2886887129 @default.
- W4246394701 hasRelatedWork W4205481509 @default.
- W4246394701 hasRelatedWork W4244888611 @default.
- W4246394701 hasRelatedWork W3093982936 @default.
- W4246394701 hasVolume "47" @default.
- W4246394701 isParatext "false" @default.
- W4246394701 isRetracted "false" @default.
- W4246394701 workType "article" @default.