Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893611774> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2893611774 endingPage "27" @default.
- W2893611774 startingPage "1" @default.
- W2893611774 abstract "Programming languages that support multiple dispatch rely on an expressive notion of subtyping to specify method applicability. In these languages, type annotations on method declarations are used to select, out of a potentially large set of methods, the one that is most appropriate for a particular tuple of arguments. Julia is a language for scientific computing built around multiple dispatch and an expressive subtyping relation. This paper provides the first formal definition of Julia's subtype relation and motivates its design. We validate our specification empirically with an implementation of our definition that we compare against the existing Julia implementation on a collection of real-world programs. Our subtype implementation differs on 122 subtype tests out of 6,014,476. The first 120 differences are due to a bug in Julia that was fixed once reported; the remaining 2 are under discussion." @default.
- W2893611774 created "2018-10-05" @default.
- W2893611774 creator A5008191145 @default.
- W2893611774 creator A5032148955 @default.
- W2893611774 creator A5056623735 @default.
- W2893611774 creator A5070411546 @default.
- W2893611774 creator A5075571308 @default.
- W2893611774 creator A5084307280 @default.
- W2893611774 date "2018-10-24" @default.
- W2893611774 modified "2023-10-17" @default.
- W2893611774 title "Julia subtyping: a rational reconstruction" @default.
- W2893611774 cites W1558128491 @default.
- W2893611774 cites W1594130176 @default.
- W2893611774 cites W1967151380 @default.
- W2893611774 cites W1977655588 @default.
- W2893611774 cites W1988897846 @default.
- W2893611774 cites W2004403526 @default.
- W2893611774 cites W2031872041 @default.
- W2893611774 cites W2033485121 @default.
- W2893611774 cites W2047304692 @default.
- W2893611774 cites W2055970549 @default.
- W2893611774 cites W2064819162 @default.
- W2893611774 cites W2087871591 @default.
- W2893611774 cites W2120575449 @default.
- W2893611774 cites W2121169478 @default.
- W2893611774 cites W2139768233 @default.
- W2893611774 cites W2152240553 @default.
- W2893611774 cites W2183621552 @default.
- W2893611774 cites W2427840161 @default.
- W2893611774 cites W4244046502 @default.
- W2893611774 cites W4244488020 @default.
- W2893611774 doi "https://doi.org/10.1145/3276483" @default.
- W2893611774 hasPublicationYear "2018" @default.
- W2893611774 type Work @default.
- W2893611774 sameAs 2893611774 @default.
- W2893611774 citedByCount "19" @default.
- W2893611774 countsByYear W28936117742018 @default.
- W2893611774 countsByYear W28936117742019 @default.
- W2893611774 countsByYear W28936117742020 @default.
- W2893611774 countsByYear W28936117742021 @default.
- W2893611774 countsByYear W28936117742022 @default.
- W2893611774 countsByYear W28936117742023 @default.
- W2893611774 crossrefType "journal-article" @default.
- W2893611774 hasAuthorship W2893611774A5008191145 @default.
- W2893611774 hasAuthorship W2893611774A5032148955 @default.
- W2893611774 hasAuthorship W2893611774A5056623735 @default.
- W2893611774 hasAuthorship W2893611774A5070411546 @default.
- W2893611774 hasAuthorship W2893611774A5075571308 @default.
- W2893611774 hasAuthorship W2893611774A5084307280 @default.
- W2893611774 hasBestOaLocation W28936117741 @default.
- W2893611774 hasConcept C114614502 @default.
- W2893611774 hasConcept C118615104 @default.
- W2893611774 hasConcept C118930307 @default.
- W2893611774 hasConcept C124101348 @default.
- W2893611774 hasConcept C177264268 @default.
- W2893611774 hasConcept C187619975 @default.
- W2893611774 hasConcept C199360897 @default.
- W2893611774 hasConcept C25343380 @default.
- W2893611774 hasConcept C33923547 @default.
- W2893611774 hasConcept C41008148 @default.
- W2893611774 hasConcept C80444323 @default.
- W2893611774 hasConcept C83852419 @default.
- W2893611774 hasConceptScore W2893611774C114614502 @default.
- W2893611774 hasConceptScore W2893611774C118615104 @default.
- W2893611774 hasConceptScore W2893611774C118930307 @default.
- W2893611774 hasConceptScore W2893611774C124101348 @default.
- W2893611774 hasConceptScore W2893611774C177264268 @default.
- W2893611774 hasConceptScore W2893611774C187619975 @default.
- W2893611774 hasConceptScore W2893611774C199360897 @default.
- W2893611774 hasConceptScore W2893611774C25343380 @default.
- W2893611774 hasConceptScore W2893611774C33923547 @default.
- W2893611774 hasConceptScore W2893611774C41008148 @default.
- W2893611774 hasConceptScore W2893611774C80444323 @default.
- W2893611774 hasConceptScore W2893611774C83852419 @default.
- W2893611774 hasFunder F4320306076 @default.
- W2893611774 hasFunder F4320338298 @default.
- W2893611774 hasFunder F4320338335 @default.
- W2893611774 hasIssue "OOPSLA" @default.
- W2893611774 hasLocation W28936117741 @default.
- W2893611774 hasLocation W28936117742 @default.
- W2893611774 hasLocation W28936117743 @default.
- W2893611774 hasOpenAccess W2893611774 @default.
- W2893611774 hasPrimaryLocation W28936117741 @default.
- W2893611774 hasRelatedWork W1462775415 @default.
- W2893611774 hasRelatedWork W1535483699 @default.
- W2893611774 hasRelatedWork W1987896487 @default.
- W2893611774 hasRelatedWork W2169256438 @default.
- W2893611774 hasRelatedWork W2391332606 @default.
- W2893611774 hasRelatedWork W2396009657 @default.
- W2893611774 hasRelatedWork W2799110842 @default.
- W2893611774 hasRelatedWork W3022050839 @default.
- W2893611774 hasRelatedWork W3032826521 @default.
- W2893611774 hasRelatedWork W4229853287 @default.
- W2893611774 hasVolume "2" @default.
- W2893611774 isParatext "false" @default.
- W2893611774 isRetracted "false" @default.
- W2893611774 magId "2893611774" @default.
- W2893611774 workType "article" @default.