Matches in SemOpenAlex for { <https://semopenalex.org/work/W2741285182> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2741285182 abstract "Haskell, as implemented in the Glasgow Haskell Compiler (GHC), is enriched with many extensions that support type-level programming, such as promoted datatypes, kind polymorphism, and type families. Yet, the expressiveness of the type-level language remains limited. It is missing many features present at the term level, including case expressions, anonymous functions, partially-applied functions, and let expressions. In this paper, we present an algorithm – with a proof of correctness – to encode these term-level constructs at the type level. Our approach is automated and capable of promoting a wide array of functions to type families. We also highlight and discuss those term-level features that are not promotable. In so doing, we offer a critique on GHC’s existing type system, showing what it is already capable of and where it may want improvement. We believe that delineating the mismatch between GHC’s term level and its type level is a key step toward supporting dependently typed programming. We have implemented our approach as part of the singletons package, available online." @default.
- W2741285182 created "2017-08-08" @default.
- W2741285182 creator A5045726166 @default.
- W2741285182 creator A5082913747 @default.
- W2741285182 date "2014-01-01" @default.
- W2741285182 modified "2023-09-26" @default.
- W2741285182 title "Promoting Functions to Type Families in Haskell (extended version)" @default.
- W2741285182 cites W1532865120 @default.
- W2741285182 cites W1594279870 @default.
- W2741285182 cites W1827112781 @default.
- W2741285182 cites W1926572647 @default.
- W2741285182 cites W1968424997 @default.
- W2741285182 cites W1989642656 @default.
- W2741285182 cites W2028880435 @default.
- W2741285182 cites W2043416466 @default.
- W2741285182 cites W2059895047 @default.
- W2741285182 cites W2069858276 @default.
- W2741285182 cites W2096529083 @default.
- W2741285182 cites W2104644663 @default.
- W2741285182 cites W2107214848 @default.
- W2741285182 cites W2112474400 @default.
- W2741285182 cites W2118172707 @default.
- W2741285182 cites W2118349261 @default.
- W2741285182 cites W2125690388 @default.
- W2741285182 cites W2129777450 @default.
- W2741285182 cites W2131916293 @default.
- W2741285182 cites W2136758562 @default.
- W2741285182 cites W2140647971 @default.
- W2741285182 cites W2156285626 @default.
- W2741285182 cites W2168938117 @default.
- W2741285182 cites W2182283312 @default.
- W2741285182 cites W2339430689 @default.
- W2741285182 cites W775976006 @default.
- W2741285182 hasPublicationYear "2014" @default.
- W2741285182 type Work @default.
- W2741285182 sameAs 2741285182 @default.
- W2741285182 citedByCount "0" @default.
- W2741285182 crossrefType "journal-article" @default.
- W2741285182 hasAuthorship W2741285182A5045726166 @default.
- W2741285182 hasAuthorship W2741285182A5082913747 @default.
- W2741285182 hasConcept C121332964 @default.
- W2741285182 hasConcept C135790938 @default.
- W2741285182 hasConcept C138958017 @default.
- W2741285182 hasConcept C169590947 @default.
- W2741285182 hasConcept C18903297 @default.
- W2741285182 hasConcept C199360897 @default.
- W2741285182 hasConcept C20528804 @default.
- W2741285182 hasConcept C2777299769 @default.
- W2741285182 hasConcept C2780624054 @default.
- W2741285182 hasConcept C41008148 @default.
- W2741285182 hasConcept C42383842 @default.
- W2741285182 hasConcept C55439883 @default.
- W2741285182 hasConcept C61797465 @default.
- W2741285182 hasConcept C62520636 @default.
- W2741285182 hasConcept C80444323 @default.
- W2741285182 hasConcept C86803240 @default.
- W2741285182 hasConceptScore W2741285182C121332964 @default.
- W2741285182 hasConceptScore W2741285182C135790938 @default.
- W2741285182 hasConceptScore W2741285182C138958017 @default.
- W2741285182 hasConceptScore W2741285182C169590947 @default.
- W2741285182 hasConceptScore W2741285182C18903297 @default.
- W2741285182 hasConceptScore W2741285182C199360897 @default.
- W2741285182 hasConceptScore W2741285182C20528804 @default.
- W2741285182 hasConceptScore W2741285182C2777299769 @default.
- W2741285182 hasConceptScore W2741285182C2780624054 @default.
- W2741285182 hasConceptScore W2741285182C41008148 @default.
- W2741285182 hasConceptScore W2741285182C42383842 @default.
- W2741285182 hasConceptScore W2741285182C55439883 @default.
- W2741285182 hasConceptScore W2741285182C61797465 @default.
- W2741285182 hasConceptScore W2741285182C62520636 @default.
- W2741285182 hasConceptScore W2741285182C80444323 @default.
- W2741285182 hasConceptScore W2741285182C86803240 @default.
- W2741285182 hasLocation W27412851821 @default.
- W2741285182 hasOpenAccess W2741285182 @default.
- W2741285182 hasPrimaryLocation W27412851821 @default.
- W2741285182 hasRelatedWork W1714514560 @default.
- W2741285182 hasRelatedWork W2017112188 @default.
- W2741285182 hasRelatedWork W2031442766 @default.
- W2741285182 hasRelatedWork W2050907089 @default.
- W2741285182 hasRelatedWork W2076084917 @default.
- W2741285182 hasRelatedWork W2119897009 @default.
- W2741285182 hasRelatedWork W2131985427 @default.
- W2741285182 hasRelatedWork W2152006556 @default.
- W2741285182 hasRelatedWork W2153685420 @default.
- W2741285182 hasRelatedWork W2155480936 @default.
- W2741285182 hasRelatedWork W2361061204 @default.
- W2741285182 hasRelatedWork W2397205586 @default.
- W2741285182 hasRelatedWork W2523003441 @default.
- W2741285182 hasRelatedWork W2752311799 @default.
- W2741285182 hasRelatedWork W2892163884 @default.
- W2741285182 hasRelatedWork W2905311136 @default.
- W2741285182 hasRelatedWork W2947401584 @default.
- W2741285182 hasRelatedWork W2966631854 @default.
- W2741285182 hasRelatedWork W3121479906 @default.
- W2741285182 hasRelatedWork W3123526213 @default.
- W2741285182 isParatext "false" @default.
- W2741285182 isRetracted "false" @default.
- W2741285182 magId "2741285182" @default.
- W2741285182 workType "article" @default.