Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386317188> ?p ?o ?g. }
- W4386317188 endingPage "186" @default.
- W4386317188 startingPage "159" @default.
- W4386317188 abstract "Equipping an existing programming language with a gradual type system requires two major steps. The first and most visible one in academia is to add a notation for types and a type checking apparatus. The second, highly practical one is to provide a type veneer for the large number of existing untyped libraries; doing so enables typed components to import pieces of functionality and get their uses type-checked, without any changes to the libraries. When programmers create such typed veneers for libraries, they make mistakes that persist and cause trouble. The question is whether the academically investigated run-time checks for gradual type systems assist programmers with debugging such mistakes. This paper provides a first, surprising answer to this question via a rational-programmer investigation: run-time checks alone are typically less helpful than the safety checks of the underlying language. Combining Natural run-time checks with blame, however, provides significantly superior debugging hints." @default.
- W4386317188 created "2023-09-01" @default.
- W4386317188 creator A5000905628 @default.
- W4386317188 creator A5002785598 @default.
- W4386317188 creator A5016168469 @default.
- W4386317188 creator A5041562511 @default.
- W4386317188 date "2023-08-30" @default.
- W4386317188 modified "2023-09-27" @default.
- W4386317188 title "How to Evaluate Blame for Gradual Types, Part 2" @default.
- W4386317188 cites W1509514020 @default.
- W4386317188 cites W1970075481 @default.
- W4386317188 cites W1973186567 @default.
- W4386317188 cites W2011725693 @default.
- W4386317188 cites W2019210784 @default.
- W4386317188 cites W2033348393 @default.
- W4386317188 cites W2045041259 @default.
- W4386317188 cites W2049695835 @default.
- W4386317188 cites W2052973434 @default.
- W4386317188 cites W2067104598 @default.
- W4386317188 cites W2076015358 @default.
- W4386317188 cites W2080648611 @default.
- W4386317188 cites W2086141560 @default.
- W4386317188 cites W2096368963 @default.
- W4386317188 cites W2100044779 @default.
- W4386317188 cites W2113419089 @default.
- W4386317188 cites W2114692640 @default.
- W4386317188 cites W2128303158 @default.
- W4386317188 cites W2138707512 @default.
- W4386317188 cites W2150998213 @default.
- W4386317188 cites W2153530968 @default.
- W4386317188 cites W2169661165 @default.
- W4386317188 cites W2295415424 @default.
- W4386317188 cites W2523566863 @default.
- W4386317188 cites W2561856298 @default.
- W4386317188 cites W2599572386 @default.
- W4386317188 cites W2621005330 @default.
- W4386317188 cites W2728359856 @default.
- W4386317188 cites W2761057125 @default.
- W4386317188 cites W2763702833 @default.
- W4386317188 cites W2776911292 @default.
- W4386317188 cites W2804829712 @default.
- W4386317188 cites W2886666397 @default.
- W4386317188 cites W2898103424 @default.
- W4386317188 cites W2899197979 @default.
- W4386317188 cites W2915101224 @default.
- W4386317188 cites W2979470607 @default.
- W4386317188 cites W2979571054 @default.
- W4386317188 cites W2996075572 @default.
- W4386317188 cites W2996400815 @default.
- W4386317188 cites W3033262004 @default.
- W4386317188 cites W3110051347 @default.
- W4386317188 cites W3121172885 @default.
- W4386317188 cites W3163358064 @default.
- W4386317188 cites W3185065804 @default.
- W4386317188 cites W3195378032 @default.
- W4386317188 cites W3200076486 @default.
- W4386317188 cites W3206533211 @default.
- W4386317188 cites W3206925941 @default.
- W4386317188 cites W3216307614 @default.
- W4386317188 cites W4229717394 @default.
- W4386317188 cites W4244807040 @default.
- W4386317188 cites W4307731903 @default.
- W4386317188 doi "https://doi.org/10.1145/3607836" @default.
- W4386317188 hasPublicationYear "2023" @default.
- W4386317188 type Work @default.
- W4386317188 citedByCount "0" @default.
- W4386317188 crossrefType "journal-article" @default.
- W4386317188 hasAuthorship W4386317188A5000905628 @default.
- W4386317188 hasAuthorship W4386317188A5002785598 @default.
- W4386317188 hasAuthorship W4386317188A5016168469 @default.
- W4386317188 hasAuthorship W4386317188A5041562511 @default.
- W4386317188 hasBestOaLocation W43863171881 @default.
- W4386317188 hasConcept C115903868 @default.
- W4386317188 hasConcept C118552586 @default.
- W4386317188 hasConcept C15744967 @default.
- W4386317188 hasConcept C168065819 @default.
- W4386317188 hasConcept C18903297 @default.
- W4386317188 hasConcept C199360897 @default.
- W4386317188 hasConcept C2777299769 @default.
- W4386317188 hasConcept C2778514511 @default.
- W4386317188 hasConcept C2781466463 @default.
- W4386317188 hasConcept C33923547 @default.
- W4386317188 hasConcept C41008148 @default.
- W4386317188 hasConcept C45357846 @default.
- W4386317188 hasConcept C86803240 @default.
- W4386317188 hasConcept C94375191 @default.
- W4386317188 hasConceptScore W4386317188C115903868 @default.
- W4386317188 hasConceptScore W4386317188C118552586 @default.
- W4386317188 hasConceptScore W4386317188C15744967 @default.
- W4386317188 hasConceptScore W4386317188C168065819 @default.
- W4386317188 hasConceptScore W4386317188C18903297 @default.
- W4386317188 hasConceptScore W4386317188C199360897 @default.
- W4386317188 hasConceptScore W4386317188C2777299769 @default.
- W4386317188 hasConceptScore W4386317188C2778514511 @default.
- W4386317188 hasConceptScore W4386317188C2781466463 @default.
- W4386317188 hasConceptScore W4386317188C33923547 @default.
- W4386317188 hasConceptScore W4386317188C41008148 @default.
- W4386317188 hasConceptScore W4386317188C45357846 @default.