Matches in SemOpenAlex for { <https://semopenalex.org/work/W137792605> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W137792605 endingPage "30" @default.
- W137792605 startingPage "15" @default.
- W137792605 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.
- W137792605 created "2016-06-24" @default.
- W137792605 creator A5018902600 @default.
- W137792605 creator A5022988938 @default.
- W137792605 date "2005-01-01" @default.
- W137792605 modified "2023-09-24" @default.
- W137792605 title "A static checker for safe pattern matching in Haskell." @default.
- W137792605 cites W111098712 @default.
- W137792605 cites W1558109178 @default.
- W137792605 cites W1570949334 @default.
- W137792605 cites W1588297513 @default.
- W137792605 cites W1602738123 @default.
- W137792605 cites W1986398872 @default.
- W137792605 cites W2007313703 @default.
- W137792605 cites W2043416466 @default.
- W137792605 cites W2046914864 @default.
- W137792605 cites W2116827712 @default.
- W137792605 cites W2125743465 @default.
- W137792605 cites W2702590602 @default.
- W137792605 cites W2970757201 @default.
- W137792605 hasPublicationYear "2005" @default.
- W137792605 type Work @default.
- W137792605 sameAs 137792605 @default.
- W137792605 citedByCount "9" @default.
- W137792605 countsByYear W1377926052012 @default.
- W137792605 countsByYear W1377926052013 @default.
- W137792605 crossrefType "proceedings-article" @default.
- W137792605 hasAuthorship W137792605A5018902600 @default.
- W137792605 hasAuthorship W137792605A5022988938 @default.
- W137792605 hasConcept C105795698 @default.
- W137792605 hasConcept C11413529 @default.
- W137792605 hasConcept C165064840 @default.
- W137792605 hasConcept C199360897 @default.
- W137792605 hasConcept C2524010 @default.
- W137792605 hasConcept C2776036281 @default.
- W137792605 hasConcept C2780624054 @default.
- W137792605 hasConcept C33923547 @default.
- W137792605 hasConcept C41008148 @default.
- W137792605 hasConcept C42383842 @default.
- W137792605 hasConcept C68859911 @default.
- W137792605 hasConcept C80444323 @default.
- W137792605 hasConceptScore W137792605C105795698 @default.
- W137792605 hasConceptScore W137792605C11413529 @default.
- W137792605 hasConceptScore W137792605C165064840 @default.
- W137792605 hasConceptScore W137792605C199360897 @default.
- W137792605 hasConceptScore W137792605C2524010 @default.
- W137792605 hasConceptScore W137792605C2776036281 @default.
- W137792605 hasConceptScore W137792605C2780624054 @default.
- W137792605 hasConceptScore W137792605C33923547 @default.
- W137792605 hasConceptScore W137792605C41008148 @default.
- W137792605 hasConceptScore W137792605C42383842 @default.
- W137792605 hasConceptScore W137792605C68859911 @default.
- W137792605 hasConceptScore W137792605C80444323 @default.
- W137792605 hasLocation W1377926051 @default.
- W137792605 hasOpenAccess W137792605 @default.
- W137792605 hasPrimaryLocation W1377926051 @default.
- W137792605 hasRelatedWork W125801460 @default.
- W137792605 hasRelatedWork W1556536463 @default.
- W137792605 hasRelatedWork W1591539831 @default.
- W137792605 hasRelatedWork W1597461475 @default.
- W137792605 hasRelatedWork W1973676520 @default.
- W137792605 hasRelatedWork W2005130481 @default.
- W137792605 hasRelatedWork W2046671194 @default.
- W137792605 hasRelatedWork W2074789981 @default.
- W137792605 hasRelatedWork W2082765113 @default.
- W137792605 hasRelatedWork W2093896470 @default.
- W137792605 hasRelatedWork W2119717320 @default.
- W137792605 hasRelatedWork W2124354055 @default.
- W137792605 hasRelatedWork W2140647971 @default.
- W137792605 hasRelatedWork W2171653073 @default.
- W137792605 hasRelatedWork W2212105551 @default.
- W137792605 hasRelatedWork W2293666292 @default.
- W137792605 hasRelatedWork W2341605542 @default.
- W137792605 hasRelatedWork W2366622138 @default.
- W137792605 hasRelatedWork W2809026046 @default.
- W137792605 hasRelatedWork W3002029854 @default.
- W137792605 isParatext "false" @default.
- W137792605 isRetracted "false" @default.
- W137792605 magId "137792605" @default.
- W137792605 workType "article" @default.