Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487789400> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2487789400 abstract "Haskell 2010 lacks flexibility in creating instances of type classes for type constructors with multiple type arguments. We would like to make the order of type arguments to a type constructor irrelevant to how type class instances can be specified. None of the currently available techniques in Haskell allows to do this in a satisfactory way.To flexibly create type-class instances we have added the concept of type-level lambdas as anonymous type synonyms to Haskell. As higher-order unification of lambda terms in general is undecidable, we take a conservative approach to equality between type-level lambdas. We propose a number of small changes to the constraint solver that will allow type-level lambdas to be used in type class instances. We show that this satisfies our goal, while having only minor impact on existing Haskell code." @default.
- W2487789400 created "2016-08-23" @default.
- W2487789400 creator A5011892251 @default.
- W2487789400 creator A5054192546 @default.
- W2487789400 date "2015-01-01" @default.
- W2487789400 modified "2023-09-23" @default.
- W2487789400 title "Type Class Instances for Type-Level Lambdas in Haskell" @default.
- W2487789400 hasPublicationYear "2015" @default.
- W2487789400 type Work @default.
- W2487789400 sameAs 2487789400 @default.
- W2487789400 citedByCount "0" @default.
- W2487789400 crossrefType "book" @default.
- W2487789400 hasAuthorship W2487789400A5011892251 @default.
- W2487789400 hasAuthorship W2487789400A5054192546 @default.
- W2487789400 hasConcept C109701466 @default.
- W2487789400 hasConcept C135790938 @default.
- W2487789400 hasConcept C154945302 @default.
- W2487789400 hasConcept C18903297 @default.
- W2487789400 hasConcept C198370458 @default.
- W2487789400 hasConcept C199360897 @default.
- W2487789400 hasConcept C2776214188 @default.
- W2487789400 hasConcept C2777212361 @default.
- W2487789400 hasConcept C2777299769 @default.
- W2487789400 hasConcept C2780624054 @default.
- W2487789400 hasConcept C41008148 @default.
- W2487789400 hasConcept C42383842 @default.
- W2487789400 hasConcept C548217200 @default.
- W2487789400 hasConcept C79678938 @default.
- W2487789400 hasConcept C80444323 @default.
- W2487789400 hasConcept C86803240 @default.
- W2487789400 hasConcept C96146094 @default.
- W2487789400 hasConceptScore W2487789400C109701466 @default.
- W2487789400 hasConceptScore W2487789400C135790938 @default.
- W2487789400 hasConceptScore W2487789400C154945302 @default.
- W2487789400 hasConceptScore W2487789400C18903297 @default.
- W2487789400 hasConceptScore W2487789400C198370458 @default.
- W2487789400 hasConceptScore W2487789400C199360897 @default.
- W2487789400 hasConceptScore W2487789400C2776214188 @default.
- W2487789400 hasConceptScore W2487789400C2777212361 @default.
- W2487789400 hasConceptScore W2487789400C2777299769 @default.
- W2487789400 hasConceptScore W2487789400C2780624054 @default.
- W2487789400 hasConceptScore W2487789400C41008148 @default.
- W2487789400 hasConceptScore W2487789400C42383842 @default.
- W2487789400 hasConceptScore W2487789400C548217200 @default.
- W2487789400 hasConceptScore W2487789400C79678938 @default.
- W2487789400 hasConceptScore W2487789400C80444323 @default.
- W2487789400 hasConceptScore W2487789400C86803240 @default.
- W2487789400 hasConceptScore W2487789400C96146094 @default.
- W2487789400 hasLocation W24877894001 @default.
- W2487789400 hasOpenAccess W2487789400 @default.
- W2487789400 hasPrimaryLocation W24877894001 @default.
- W2487789400 hasRelatedWork W1533419251 @default.
- W2487789400 hasRelatedWork W1551531572 @default.
- W2487789400 hasRelatedWork W1619105309 @default.
- W2487789400 hasRelatedWork W2001538785 @default.
- W2487789400 hasRelatedWork W2027048725 @default.
- W2487789400 hasRelatedWork W2131635208 @default.
- W2487789400 hasRelatedWork W2134394225 @default.
- W2487789400 hasRelatedWork W2136758562 @default.
- W2487789400 hasRelatedWork W2146937878 @default.
- W2487789400 hasRelatedWork W2161408472 @default.
- W2487789400 hasRelatedWork W2187084841 @default.
- W2487789400 hasRelatedWork W2210284694 @default.
- W2487789400 hasRelatedWork W2514405772 @default.
- W2487789400 hasRelatedWork W2519387135 @default.
- W2487789400 hasRelatedWork W2520254002 @default.
- W2487789400 hasRelatedWork W2523834673 @default.
- W2487789400 hasRelatedWork W2662352793 @default.
- W2487789400 hasRelatedWork W2995031344 @default.
- W2487789400 hasRelatedWork W30827351 @default.
- W2487789400 hasRelatedWork W58824149 @default.
- W2487789400 isParatext "false" @default.
- W2487789400 isRetracted "false" @default.
- W2487789400 magId "2487789400" @default.
- W2487789400 workType "book" @default.