Matches in SemOpenAlex for { <https://semopenalex.org/work/W4231010649> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4231010649 endingPage "683" @default.
- W4231010649 startingPage "671" @default.
- W4231010649 abstract "Open, type-level functions are a recent innovation in Haskell that move Haskell towards the expressiveness of dependent types, while retaining the look and feel of a practical programming language. This paper shows how to increase expressiveness still further, by adding closed type functions whose equations may overlap, and may have non-linear patterns over an open type universe. Although practically useful and simple to implement, these features go beyond conventional dependent type theory in some respects, and have a subtle metatheory." @default.
- W4231010649 created "2022-05-11" @default.
- W4231010649 creator A5027817074 @default.
- W4231010649 creator A5029108294 @default.
- W4231010649 creator A5049220962 @default.
- W4231010649 creator A5082913747 @default.
- W4231010649 date "2014-01-08" @default.
- W4231010649 modified "2023-10-18" @default.
- W4231010649 title "Closed type families with overlapping equations" @default.
- W4231010649 cites W1968424997 @default.
- W4231010649 cites W1979101142 @default.
- W4231010649 cites W1995675054 @default.
- W4231010649 cites W1999346653 @default.
- W4231010649 cites W2009179353 @default.
- W4231010649 cites W2015617966 @default.
- W4231010649 cites W2058162377 @default.
- W4231010649 cites W2107214848 @default.
- W4231010649 cites W2112474400 @default.
- W4231010649 cites W2116616150 @default.
- W4231010649 cites W2125690388 @default.
- W4231010649 cites W2132254891 @default.
- W4231010649 cites W2150895128 @default.
- W4231010649 cites W2157266926 @default.
- W4231010649 cites W2163552400 @default.
- W4231010649 cites W2323378191 @default.
- W4231010649 cites W4213090963 @default.
- W4231010649 cites W4213422035 @default.
- W4231010649 doi "https://doi.org/10.1145/2578855.2535856" @default.
- W4231010649 hasPublicationYear "2014" @default.
- W4231010649 type Work @default.
- W4231010649 citedByCount "5" @default.
- W4231010649 countsByYear W42310106492015 @default.
- W4231010649 countsByYear W42310106492019 @default.
- W4231010649 countsByYear W42310106492020 @default.
- W4231010649 countsByYear W42310106492021 @default.
- W4231010649 crossrefType "journal-article" @default.
- W4231010649 hasAuthorship W4231010649A5027817074 @default.
- W4231010649 hasAuthorship W4231010649A5029108294 @default.
- W4231010649 hasAuthorship W4231010649A5049220962 @default.
- W4231010649 hasAuthorship W4231010649A5082913747 @default.
- W4231010649 hasBestOaLocation W42310106491 @default.
- W4231010649 hasConcept C111472728 @default.
- W4231010649 hasConcept C138885662 @default.
- W4231010649 hasConcept C18903297 @default.
- W4231010649 hasConcept C199360897 @default.
- W4231010649 hasConcept C2777299769 @default.
- W4231010649 hasConcept C2780586882 @default.
- W4231010649 hasConcept C2780624054 @default.
- W4231010649 hasConcept C39387531 @default.
- W4231010649 hasConcept C41008148 @default.
- W4231010649 hasConcept C42383842 @default.
- W4231010649 hasConcept C80444323 @default.
- W4231010649 hasConcept C86803240 @default.
- W4231010649 hasConcept C93682546 @default.
- W4231010649 hasConceptScore W4231010649C111472728 @default.
- W4231010649 hasConceptScore W4231010649C138885662 @default.
- W4231010649 hasConceptScore W4231010649C18903297 @default.
- W4231010649 hasConceptScore W4231010649C199360897 @default.
- W4231010649 hasConceptScore W4231010649C2777299769 @default.
- W4231010649 hasConceptScore W4231010649C2780586882 @default.
- W4231010649 hasConceptScore W4231010649C2780624054 @default.
- W4231010649 hasConceptScore W4231010649C39387531 @default.
- W4231010649 hasConceptScore W4231010649C41008148 @default.
- W4231010649 hasConceptScore W4231010649C42383842 @default.
- W4231010649 hasConceptScore W4231010649C80444323 @default.
- W4231010649 hasConceptScore W4231010649C86803240 @default.
- W4231010649 hasConceptScore W4231010649C93682546 @default.
- W4231010649 hasIssue "1" @default.
- W4231010649 hasLocation W42310106491 @default.
- W4231010649 hasLocation W42310106492 @default.
- W4231010649 hasOpenAccess W4231010649 @default.
- W4231010649 hasPrimaryLocation W42310106491 @default.
- W4231010649 hasRelatedWork W1488885199 @default.
- W4231010649 hasRelatedWork W1587224678 @default.
- W4231010649 hasRelatedWork W1601811574 @default.
- W4231010649 hasRelatedWork W1619105309 @default.
- W4231010649 hasRelatedWork W2017112188 @default.
- W4231010649 hasRelatedWork W2129777450 @default.
- W4231010649 hasRelatedWork W2187307536 @default.
- W4231010649 hasRelatedWork W3123526213 @default.
- W4231010649 hasRelatedWork W4231010649 @default.
- W4231010649 hasRelatedWork W4251000889 @default.
- W4231010649 hasVolume "49" @default.
- W4231010649 isParatext "false" @default.
- W4231010649 isRetracted "false" @default.
- W4231010649 workType "article" @default.