Matches in SemOpenAlex for { <https://semopenalex.org/work/W2806852593> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2806852593 endingPage "105" @default.
- W2806852593 startingPage "94" @default.
- W2806852593 abstract "For many years, GHC has implemented an extension to Haskell that allows type variables to be bound in type signatures and patterns, and to scope over terms. This extension was never properly specified. We rectify that oversight here. With the formal specification in hand, the otherwise-labyrinthine path toward a design for binding type variables in patterns becomes blindingly clear. We thus extend ScopedTypeVariables to bind type variables explicitly, obviating the Proxy workaround to the dustbin of history." @default.
- W2806852593 created "2018-06-13" @default.
- W2806852593 creator A5027817074 @default.
- W2806852593 creator A5049741143 @default.
- W2806852593 creator A5082913747 @default.
- W2806852593 date "2018-09-17" @default.
- W2806852593 modified "2023-09-26" @default.
- W2806852593 title "Type variables in patterns" @default.
- W2806852593 cites W2069858276 @default.
- W2806852593 cites W2125690388 @default.
- W2806852593 cites W2129777450 @default.
- W2806852593 cites W2131916293 @default.
- W2806852593 cites W2134394225 @default.
- W2806852593 cites W2154390633 @default.
- W2806852593 cites W2168938117 @default.
- W2806852593 cites W2555814573 @default.
- W2806852593 doi "https://doi.org/10.1145/3299711.3242753" @default.
- W2806852593 hasPublicationYear "2018" @default.
- W2806852593 type Work @default.
- W2806852593 sameAs 2806852593 @default.
- W2806852593 citedByCount "0" @default.
- W2806852593 crossrefType "journal-article" @default.
- W2806852593 hasAuthorship W2806852593A5027817074 @default.
- W2806852593 hasAuthorship W2806852593A5049741143 @default.
- W2806852593 hasAuthorship W2806852593A5082913747 @default.
- W2806852593 hasBestOaLocation W28068525931 @default.
- W2806852593 hasConcept C119857082 @default.
- W2806852593 hasConcept C154945302 @default.
- W2806852593 hasConcept C18903297 @default.
- W2806852593 hasConcept C194541083 @default.
- W2806852593 hasConcept C198370458 @default.
- W2806852593 hasConcept C199360897 @default.
- W2806852593 hasConcept C2776214188 @default.
- W2806852593 hasConcept C2777299769 @default.
- W2806852593 hasConcept C2778029271 @default.
- W2806852593 hasConcept C2780148112 @default.
- W2806852593 hasConcept C2780624054 @default.
- W2806852593 hasConcept C41008148 @default.
- W2806852593 hasConcept C42383842 @default.
- W2806852593 hasConcept C80444323 @default.
- W2806852593 hasConcept C86803240 @default.
- W2806852593 hasConcept C93682546 @default.
- W2806852593 hasConceptScore W2806852593C119857082 @default.
- W2806852593 hasConceptScore W2806852593C154945302 @default.
- W2806852593 hasConceptScore W2806852593C18903297 @default.
- W2806852593 hasConceptScore W2806852593C194541083 @default.
- W2806852593 hasConceptScore W2806852593C198370458 @default.
- W2806852593 hasConceptScore W2806852593C199360897 @default.
- W2806852593 hasConceptScore W2806852593C2776214188 @default.
- W2806852593 hasConceptScore W2806852593C2777299769 @default.
- W2806852593 hasConceptScore W2806852593C2778029271 @default.
- W2806852593 hasConceptScore W2806852593C2780148112 @default.
- W2806852593 hasConceptScore W2806852593C2780624054 @default.
- W2806852593 hasConceptScore W2806852593C41008148 @default.
- W2806852593 hasConceptScore W2806852593C42383842 @default.
- W2806852593 hasConceptScore W2806852593C80444323 @default.
- W2806852593 hasConceptScore W2806852593C86803240 @default.
- W2806852593 hasConceptScore W2806852593C93682546 @default.
- W2806852593 hasFunder F4320306076 @default.
- W2806852593 hasIssue "7" @default.
- W2806852593 hasLocation W28068525931 @default.
- W2806852593 hasOpenAccess W2806852593 @default.
- W2806852593 hasPrimaryLocation W28068525931 @default.
- W2806852593 hasRelatedWork W1601811574 @default.
- W2806852593 hasRelatedWork W2005083846 @default.
- W2806852593 hasRelatedWork W2017112188 @default.
- W2806852593 hasRelatedWork W2095136535 @default.
- W2806852593 hasRelatedWork W2161408472 @default.
- W2806852593 hasRelatedWork W2169148161 @default.
- W2806852593 hasRelatedWork W2170094439 @default.
- W2806852593 hasRelatedWork W2187307536 @default.
- W2806852593 hasRelatedWork W2488899953 @default.
- W2806852593 hasRelatedWork W2531621405 @default.
- W2806852593 hasVolume "53" @default.
- W2806852593 isParatext "false" @default.
- W2806852593 isRetracted "false" @default.
- W2806852593 magId "2806852593" @default.
- W2806852593 workType "article" @default.