Matches in SemOpenAlex for { <https://semopenalex.org/work/W4241497207> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4241497207 endingPage "434" @default.
- W4241497207 startingPage "425" @default.
- W4241497207 abstract "Advanced type systems often need some form of type inference to reduce the burden of explicit typing, but type inference often leads to poor error messages for ill-typed programs. This work pursues a new approach to constructing compilers and presenting type-error messages in which the type-checker itself does not produce the messages. Instead, it is an oracle for a search procedure that finds similar programs that do type-check. Our two-fold goal is to improve error messages while simplifying compiler construction. Our primary implementation and evaluation is for Caml, a language with full type inference. We also present a prototype for C++ template functions, where type instantiation is implicit. A key extension is making our approach robust even when the program has multiple independent type errors." @default.
- W4241497207 created "2022-05-12" @default.
- W4241497207 creator A5031602124 @default.
- W4241497207 creator A5053901060 @default.
- W4241497207 creator A5069033690 @default.
- W4241497207 creator A5070604627 @default.
- W4241497207 date "2007-06-10" @default.
- W4241497207 modified "2023-10-18" @default.
- W4241497207 title "Searching for type-error messages" @default.
- W4241497207 cites W1876174594 @default.
- W4241497207 cites W1999764179 @default.
- W4241497207 cites W2004071957 @default.
- W4241497207 cites W2029079408 @default.
- W4241497207 cites W2036196659 @default.
- W4241497207 cites W2045313089 @default.
- W4241497207 cites W2062727459 @default.
- W4241497207 cites W2068336423 @default.
- W4241497207 cites W2139099489 @default.
- W4241497207 cites W2162295022 @default.
- W4241497207 cites W2166414999 @default.
- W4241497207 cites W2168280960 @default.
- W4241497207 cites W4242481590 @default.
- W4241497207 doi "https://doi.org/10.1145/1273442.1250783" @default.
- W4241497207 hasPublicationYear "2007" @default.
- W4241497207 type Work @default.
- W4241497207 citedByCount "11" @default.
- W4241497207 countsByYear W42414972072012 @default.
- W4241497207 countsByYear W42414972072013 @default.
- W4241497207 countsByYear W42414972072014 @default.
- W4241497207 countsByYear W42414972072015 @default.
- W4241497207 countsByYear W42414972072017 @default.
- W4241497207 countsByYear W42414972072019 @default.
- W4241497207 countsByYear W42414972072022 @default.
- W4241497207 crossrefType "journal-article" @default.
- W4241497207 hasAuthorship W4241497207A5031602124 @default.
- W4241497207 hasAuthorship W4241497207A5053901060 @default.
- W4241497207 hasAuthorship W4241497207A5069033690 @default.
- W4241497207 hasAuthorship W4241497207A5070604627 @default.
- W4241497207 hasConcept C154945302 @default.
- W4241497207 hasConcept C169590947 @default.
- W4241497207 hasConcept C18903297 @default.
- W4241497207 hasConcept C198370458 @default.
- W4241497207 hasConcept C199360897 @default.
- W4241497207 hasConcept C2776214188 @default.
- W4241497207 hasConcept C2777299769 @default.
- W4241497207 hasConcept C41008148 @default.
- W4241497207 hasConcept C55166926 @default.
- W4241497207 hasConcept C80444323 @default.
- W4241497207 hasConcept C86803240 @default.
- W4241497207 hasConceptScore W4241497207C154945302 @default.
- W4241497207 hasConceptScore W4241497207C169590947 @default.
- W4241497207 hasConceptScore W4241497207C18903297 @default.
- W4241497207 hasConceptScore W4241497207C198370458 @default.
- W4241497207 hasConceptScore W4241497207C199360897 @default.
- W4241497207 hasConceptScore W4241497207C2776214188 @default.
- W4241497207 hasConceptScore W4241497207C2777299769 @default.
- W4241497207 hasConceptScore W4241497207C41008148 @default.
- W4241497207 hasConceptScore W4241497207C55166926 @default.
- W4241497207 hasConceptScore W4241497207C80444323 @default.
- W4241497207 hasConceptScore W4241497207C86803240 @default.
- W4241497207 hasIssue "6" @default.
- W4241497207 hasLocation W42414972071 @default.
- W4241497207 hasOpenAccess W4241497207 @default.
- W4241497207 hasPrimaryLocation W42414972071 @default.
- W4241497207 hasRelatedWork W1497385637 @default.
- W4241497207 hasRelatedWork W1498982577 @default.
- W4241497207 hasRelatedWork W1512248002 @default.
- W4241497207 hasRelatedWork W2004605222 @default.
- W4241497207 hasRelatedWork W2044422526 @default.
- W4241497207 hasRelatedWork W2086733238 @default.
- W4241497207 hasRelatedWork W2192862863 @default.
- W4241497207 hasRelatedWork W2369288331 @default.
- W4241497207 hasRelatedWork W2519339279 @default.
- W4241497207 hasRelatedWork W2467097043 @default.
- W4241497207 hasVolume "42" @default.
- W4241497207 isParatext "false" @default.
- W4241497207 isRetracted "false" @default.
- W4241497207 workType "article" @default.