Matches in SemOpenAlex for { <https://semopenalex.org/work/W125801460> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W125801460 abstract "A Haskell program may fail at runtime with a pattern-match error if the program has any incomplete (non-exhaustive) patterns in definitions or case alternatives. This paper describes a static checker that allows non-exhaustive patterns to exist, yet ensures that a pattern-match error does not occur. It describes a constraint language that can be used to reason about pattern matches, along with mechanisms to propagate these constraints between program components." @default.
- W125801460 created "2016-06-24" @default.
- W125801460 creator A5018902600 @default.
- W125801460 creator A5022988938 @default.
- W125801460 date "2005-01-01" @default.
- W125801460 modified "2023-09-27" @default.
- W125801460 title "Unfailing Haskell: A Static Checker for Pattern Matching" @default.
- W125801460 cites W1570949334 @default.
- W125801460 cites W1602738123 @default.
- W125801460 cites W1965014786 @default.
- W125801460 cites W1986398872 @default.
- W125801460 cites W2046914864 @default.
- W125801460 cites W2116827712 @default.
- W125801460 cites W2125743465 @default.
- W125801460 hasPublicationYear "2005" @default.
- W125801460 type Work @default.
- W125801460 sameAs 125801460 @default.
- W125801460 citedByCount "2" @default.
- W125801460 crossrefType "journal-article" @default.
- W125801460 hasAuthorship W125801460A5018902600 @default.
- W125801460 hasAuthorship W125801460A5022988938 @default.
- W125801460 hasConcept C105795698 @default.
- W125801460 hasConcept C165064840 @default.
- W125801460 hasConcept C199360897 @default.
- W125801460 hasConcept C2524010 @default.
- W125801460 hasConcept C2776036281 @default.
- W125801460 hasConcept C2780624054 @default.
- W125801460 hasConcept C33923547 @default.
- W125801460 hasConcept C41008148 @default.
- W125801460 hasConcept C42383842 @default.
- W125801460 hasConcept C68859911 @default.
- W125801460 hasConcept C80444323 @default.
- W125801460 hasConceptScore W125801460C105795698 @default.
- W125801460 hasConceptScore W125801460C165064840 @default.
- W125801460 hasConceptScore W125801460C199360897 @default.
- W125801460 hasConceptScore W125801460C2524010 @default.
- W125801460 hasConceptScore W125801460C2776036281 @default.
- W125801460 hasConceptScore W125801460C2780624054 @default.
- W125801460 hasConceptScore W125801460C33923547 @default.
- W125801460 hasConceptScore W125801460C41008148 @default.
- W125801460 hasConceptScore W125801460C42383842 @default.
- W125801460 hasConceptScore W125801460C68859911 @default.
- W125801460 hasConceptScore W125801460C80444323 @default.
- W125801460 hasLocation W1258014601 @default.
- W125801460 hasOpenAccess W125801460 @default.
- W125801460 hasPrimaryLocation W1258014601 @default.
- W125801460 hasRelatedWork W137792605 @default.
- W125801460 hasRelatedWork W1591539831 @default.
- W125801460 hasRelatedWork W1597461475 @default.
- W125801460 hasRelatedWork W1622191054 @default.
- W125801460 hasRelatedWork W1881066931 @default.
- W125801460 hasRelatedWork W1970220028 @default.
- W125801460 hasRelatedWork W2021626172 @default.
- W125801460 hasRelatedWork W2089016300 @default.
- W125801460 hasRelatedWork W2103471998 @default.
- W125801460 hasRelatedWork W2109065821 @default.
- W125801460 hasRelatedWork W2171653073 @default.
- W125801460 hasRelatedWork W2212105551 @default.
- W125801460 hasRelatedWork W2293666292 @default.
- W125801460 hasRelatedWork W2341605542 @default.
- W125801460 hasRelatedWork W2366622138 @default.
- W125801460 hasRelatedWork W2371263218 @default.
- W125801460 hasRelatedWork W2809026046 @default.
- W125801460 hasRelatedWork W2965473297 @default.
- W125801460 hasRelatedWork W3002029854 @default.
- W125801460 hasRelatedWork W570595580 @default.
- W125801460 isParatext "false" @default.
- W125801460 isRetracted "false" @default.
- W125801460 magId "125801460" @default.
- W125801460 workType "article" @default.