Matches in SemOpenAlex for { <https://semopenalex.org/work/W3031673955> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3031673955 endingPage "246" @default.
- W3031673955 startingPage "230" @default.
- W3031673955 abstract "Functional logic languages can solve equations over user-defined data and functions. Thus, the definition of an appropriate meaning of equality has a long history in these languages, ranging from reflexive equality in early equational logic languages to strict equality in contemporary functional logic languages like Curry. With the introduction of type classes, where the equality operation “==” is overloaded and user-defined, the meaning became more complex. Moreover, logic variables appearing in equations require a different typing than pattern variables, since the latter might be instantiated with functional values or non-terminating operations. In this paper, we present a solution to these problems by introducing a new type class Data which is associated with specific algebraic data types, logic variables, and strict equality. We discuss the ideas of this class and its implications on various concepts of Curry, like unification, functional patterns, and program optimization." @default.
- W3031673955 created "2020-06-05" @default.
- W3031673955 creator A5024421847 @default.
- W3031673955 creator A5048555021 @default.
- W3031673955 date "2020-01-01" @default.
- W3031673955 modified "2023-10-16" @default.
- W3031673955 title "Adding Data to Curry" @default.
- W3031673955 cites W1486941949 @default.
- W3031673955 cites W1605638241 @default.
- W3031673955 cites W1650673748 @default.
- W3031673955 cites W1880050370 @default.
- W3031673955 cites W1991923545 @default.
- W3031673955 cites W1992085465 @default.
- W3031673955 cites W2019747072 @default.
- W3031673955 cites W2022647944 @default.
- W3031673955 cites W2044013129 @default.
- W3031673955 cites W2053719172 @default.
- W3031673955 cites W2059799630 @default.
- W3031673955 cites W2059895047 @default.
- W3031673955 cites W2063521547 @default.
- W3031673955 cites W2065794924 @default.
- W3031673955 cites W2078852650 @default.
- W3031673955 cites W2093896470 @default.
- W3031673955 cites W2112087718 @default.
- W3031673955 cites W2118499864 @default.
- W3031673955 cites W2127844749 @default.
- W3031673955 cites W2163976959 @default.
- W3031673955 cites W2168144301 @default.
- W3031673955 cites W2531992632 @default.
- W3031673955 cites W3103174631 @default.
- W3031673955 cites W4255736263 @default.
- W3031673955 cites W68427271 @default.
- W3031673955 cites W2515274237 @default.
- W3031673955 doi "https://doi.org/10.1007/978-3-030-46714-2_15" @default.
- W3031673955 hasPublicationYear "2020" @default.
- W3031673955 type Work @default.
- W3031673955 sameAs 3031673955 @default.
- W3031673955 citedByCount "3" @default.
- W3031673955 countsByYear W30316739552020 @default.
- W3031673955 countsByYear W30316739552021 @default.
- W3031673955 crossrefType "book-chapter" @default.
- W3031673955 hasAuthorship W3031673955A5024421847 @default.
- W3031673955 hasAuthorship W3031673955A5048555021 @default.
- W3031673955 hasConcept C199360897 @default.
- W3031673955 hasConcept C2781029818 @default.
- W3031673955 hasConcept C41008148 @default.
- W3031673955 hasConceptScore W3031673955C199360897 @default.
- W3031673955 hasConceptScore W3031673955C2781029818 @default.
- W3031673955 hasConceptScore W3031673955C41008148 @default.
- W3031673955 hasLocation W30316739551 @default.
- W3031673955 hasOpenAccess W3031673955 @default.
- W3031673955 hasPrimaryLocation W30316739551 @default.
- W3031673955 hasRelatedWork W2164890668 @default.
- W3031673955 hasRelatedWork W2282931459 @default.
- W3031673955 hasRelatedWork W2520149502 @default.
- W3031673955 hasRelatedWork W2748952813 @default.
- W3031673955 hasRelatedWork W2808130794 @default.
- W3031673955 hasRelatedWork W2896691900 @default.
- W3031673955 hasRelatedWork W2899084033 @default.
- W3031673955 hasRelatedWork W2920629453 @default.
- W3031673955 hasRelatedWork W4243970755 @default.
- W3031673955 hasRelatedWork W4300022558 @default.
- W3031673955 isParatext "false" @default.
- W3031673955 isRetracted "false" @default.
- W3031673955 magId "3031673955" @default.
- W3031673955 workType "book-chapter" @default.