Matches in SemOpenAlex for { <https://semopenalex.org/work/W2517855766> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2517855766 endingPage "21" @default.
- W2517855766 startingPage "12" @default.
- W2517855766 abstract "Type inference engines often give terrible error messages, and the more sophisticated the type system the worse the problem. We show that even with the highly expressive type system implemented by the Glasgow Haskell Compiler (GHC)--including type classes, GADTs, and type families--it is possible to identify the most likely source of the type error, rather than the first source that the inference engine trips over. To determine which are the likely error sources, we apply a simple Bayesian model to a graph representation of the typing constraints; the satisfiability or unsatisfiability of paths within the graph provides evidence for or against possible explanations. While we build on prior work on error diagnosis for simpler type systems, inference in the richer type system of Haskell requires extending the graph with new nodes. The augmentation of the graph creates challenges both for Bayesian reasoning and for ensuring termination. Using a large corpus of Haskell programs, we show that this error localization technique is practical and significantly improves accuracy over the state of the art." @default.
- W2517855766 created "2016-09-16" @default.
- W2517855766 creator A5027817074 @default.
- W2517855766 creator A5029108294 @default.
- W2517855766 creator A5043823677 @default.
- W2517855766 creator A5060394961 @default.
- W2517855766 date "2015-06-03" @default.
- W2517855766 modified "2023-09-27" @default.
- W2517855766 title "Diagnosing type errors with class" @default.
- W2517855766 cites W2011725693 @default.
- W2517855766 cites W2011824721 @default.
- W2517855766 cites W2022443117 @default.
- W2517855766 cites W2029079408 @default.
- W2517855766 cites W2040152339 @default.
- W2517855766 cites W2045041259 @default.
- W2517855766 cites W2045313089 @default.
- W2517855766 cites W2056310485 @default.
- W2517855766 cites W2064982280 @default.
- W2517855766 cites W2068336423 @default.
- W2517855766 cites W2069858276 @default.
- W2517855766 cites W2096973632 @default.
- W2517855766 cites W2098374496 @default.
- W2517855766 cites W2114692640 @default.
- W2517855766 cites W2131916293 @default.
- W2517855766 cites W2134093956 @default.
- W2517855766 cites W2135565307 @default.
- W2517855766 cites W2157859774 @default.
- W2517855766 cites W2166414999 @default.
- W2517855766 cites W2168280960 @default.
- W2517855766 doi "https://doi.org/10.1145/2813885.2738009" @default.
- W2517855766 hasPublicationYear "2015" @default.
- W2517855766 type Work @default.
- W2517855766 sameAs 2517855766 @default.
- W2517855766 citedByCount "3" @default.
- W2517855766 countsByYear W25178557662020 @default.
- W2517855766 countsByYear W25178557662022 @default.
- W2517855766 crossrefType "journal-article" @default.
- W2517855766 hasAuthorship W2517855766A5027817074 @default.
- W2517855766 hasAuthorship W2517855766A5029108294 @default.
- W2517855766 hasAuthorship W2517855766A5043823677 @default.
- W2517855766 hasAuthorship W2517855766A5060394961 @default.
- W2517855766 hasBestOaLocation W25178557662 @default.
- W2517855766 hasConcept C132525143 @default.
- W2517855766 hasConcept C154945302 @default.
- W2517855766 hasConcept C169590947 @default.
- W2517855766 hasConcept C198370458 @default.
- W2517855766 hasConcept C199360897 @default.
- W2517855766 hasConcept C2776214188 @default.
- W2517855766 hasConcept C2780624054 @default.
- W2517855766 hasConcept C41008148 @default.
- W2517855766 hasConcept C42383842 @default.
- W2517855766 hasConcept C77660490 @default.
- W2517855766 hasConcept C80444323 @default.
- W2517855766 hasConceptScore W2517855766C132525143 @default.
- W2517855766 hasConceptScore W2517855766C154945302 @default.
- W2517855766 hasConceptScore W2517855766C169590947 @default.
- W2517855766 hasConceptScore W2517855766C198370458 @default.
- W2517855766 hasConceptScore W2517855766C199360897 @default.
- W2517855766 hasConceptScore W2517855766C2776214188 @default.
- W2517855766 hasConceptScore W2517855766C2780624054 @default.
- W2517855766 hasConceptScore W2517855766C41008148 @default.
- W2517855766 hasConceptScore W2517855766C42383842 @default.
- W2517855766 hasConceptScore W2517855766C77660490 @default.
- W2517855766 hasConceptScore W2517855766C80444323 @default.
- W2517855766 hasFunder F4320306076 @default.
- W2517855766 hasFunder F4320333591 @default.
- W2517855766 hasFunder F4320337345 @default.
- W2517855766 hasIssue "6" @default.
- W2517855766 hasLocation W25178557661 @default.
- W2517855766 hasLocation W25178557662 @default.
- W2517855766 hasOpenAccess W2517855766 @default.
- W2517855766 hasPrimaryLocation W25178557661 @default.
- W2517855766 hasRelatedWork W1851310281 @default.
- W2517855766 hasRelatedWork W1886401053 @default.
- W2517855766 hasRelatedWork W2177866842 @default.
- W2517855766 hasRelatedWork W2488899953 @default.
- W2517855766 hasRelatedWork W2519387135 @default.
- W2517855766 hasRelatedWork W2760941369 @default.
- W2517855766 hasRelatedWork W3022861097 @default.
- W2517855766 hasRelatedWork W4243145104 @default.
- W2517855766 hasRelatedWork W4251805752 @default.
- W2517855766 hasRelatedWork W4251916054 @default.
- W2517855766 hasVolume "50" @default.
- W2517855766 isParatext "false" @default.
- W2517855766 isRetracted "false" @default.
- W2517855766 magId "2517855766" @default.
- W2517855766 workType "article" @default.