Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012098881> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2012098881 abstract "Functional logic programming (FLP) is a paradigm that comes from the integration of lazy functional programming and logic programming. Although most FLP systems use static typing by means of a direct adaptation of Damas-Milner type system, it is well-known that some FLP features like higher-order patterns or the equality operator lead to so-called opacity situations that are not properly handled by Damas-Milner type system, thus leading to the loss of type preservation. Previous works have addressed this problem either directly forbidding those HO patterns that are opaque or restricting its use. In this paper we propose a new approach that is based on eliminating the unintended opacity created by HO patterns and the equality operator by extending the expressiveness of the type language with decorations in the arrows of the functional types. We study diverse possibilities, which differ in the amount of information included in the decorations. The obtained type systems have different properties and expressiveness, but each of them recovers type preservation from simple extensions of Damas-Milner." @default.
- W2012098881 created "2016-06-24" @default.
- W2012098881 creator A5024844226 @default.
- W2012098881 creator A5028123043 @default.
- W2012098881 date "2012-09-19" @default.
- W2012098881 modified "2023-10-14" @default.
- W2012098881 title "Transparent function types" @default.
- W2012098881 cites W1508237628 @default.
- W2012098881 cites W1534348627 @default.
- W2012098881 cites W1539487186 @default.
- W2012098881 cites W1827100046 @default.
- W2012098881 cites W2018057519 @default.
- W2012098881 cites W2030663607 @default.
- W2012098881 cites W2057292961 @default.
- W2012098881 cites W2063521547 @default.
- W2012098881 cites W2069822809 @default.
- W2012098881 cites W2104204098 @default.
- W2012098881 cites W2112150205 @default.
- W2012098881 cites W2112774031 @default.
- W2012098881 cites W2127844749 @default.
- W2012098881 cites W2163976959 @default.
- W2012098881 doi "https://doi.org/10.1145/2370776.2370793" @default.
- W2012098881 hasPublicationYear "2012" @default.
- W2012098881 type Work @default.
- W2012098881 sameAs 2012098881 @default.
- W2012098881 citedByCount "0" @default.
- W2012098881 crossrefType "proceedings-article" @default.
- W2012098881 hasAuthorship W2012098881A5024844226 @default.
- W2012098881 hasAuthorship W2012098881A5028123043 @default.
- W2012098881 hasConcept C14036430 @default.
- W2012098881 hasConcept C41008148 @default.
- W2012098881 hasConcept C78458016 @default.
- W2012098881 hasConcept C86803240 @default.
- W2012098881 hasConceptScore W2012098881C14036430 @default.
- W2012098881 hasConceptScore W2012098881C41008148 @default.
- W2012098881 hasConceptScore W2012098881C78458016 @default.
- W2012098881 hasConceptScore W2012098881C86803240 @default.
- W2012098881 hasLocation W20120988811 @default.
- W2012098881 hasOpenAccess W2012098881 @default.
- W2012098881 hasPrimaryLocation W20120988811 @default.
- W2012098881 hasRelatedWork W2093578348 @default.
- W2012098881 hasRelatedWork W2350741829 @default.
- W2012098881 hasRelatedWork W2358668433 @default.
- W2012098881 hasRelatedWork W2376932109 @default.
- W2012098881 hasRelatedWork W2382290278 @default.
- W2012098881 hasRelatedWork W2390279801 @default.
- W2012098881 hasRelatedWork W2748952813 @default.
- W2012098881 hasRelatedWork W2899084033 @default.
- W2012098881 hasRelatedWork W3004735627 @default.
- W2012098881 hasRelatedWork W3098582471 @default.
- W2012098881 isParatext "false" @default.
- W2012098881 isRetracted "false" @default.
- W2012098881 magId "2012098881" @default.
- W2012098881 workType "article" @default.