Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293210816> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2293210816 abstract "Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combine two features: 1) a special type of interfaces; and 2) implicit instantiation of implementations of those interfaces. Scala implicits are a GP language mechanism, inspired by type classes, that break with the tradition of coupling implicit instantiation with a special type of interface. Instead, implicits provide only implicit instantiation, which is generalized to work for any types. This turns out to be quite powerful and useful to address many limitations that show up in other GP mechanisms. This paper synthesizes the key ideas of implicits formally in a minimal and general core calculus called the implicit calculus, and it shows how to build source languages supporting implicit instantiation on top of it. A novelty of the calculus is its support for partial resolution and higher-order rules (a feature that has been proposed before, but was never formalized or implemented). Ultimately, the implicit calculus provides a formal model of implicits, which can be used by language designers to study and inform implementations of similar mechanisms in their own languages." @default.
- W2293210816 created "2016-06-24" @default.
- W2293210816 creator A5049714036 @default.
- W2293210816 creator A5050247934 @default.
- W2293210816 creator A5057126487 @default.
- W2293210816 creator A5073274207 @default.
- W2293210816 creator A5090223343 @default.
- W2293210816 date "2012-03-20" @default.
- W2293210816 modified "2023-09-27" @default.
- W2293210816 title "Extended Report: The Implicit Calculus" @default.
- W2293210816 cites W1481494287 @default.
- W2293210816 cites W17008436 @default.
- W2293210816 cites W1964211642 @default.
- W2293210816 cites W1975664374 @default.
- W2293210816 cites W2107214848 @default.
- W2293210816 cites W2116616150 @default.
- W2293210816 cites W2130983842 @default.
- W2293210816 cites W2133625592 @default.
- W2293210816 cites W2139099489 @default.
- W2293210816 cites W2151275061 @default.
- W2293210816 cites W2168938117 @default.
- W2293210816 hasPublicationYear "2012" @default.
- W2293210816 type Work @default.
- W2293210816 sameAs 2293210816 @default.
- W2293210816 citedByCount "1" @default.
- W2293210816 countsByYear W22932108162014 @default.
- W2293210816 crossrefType "posted-content" @default.
- W2293210816 hasAuthorship W2293210816A5049714036 @default.
- W2293210816 hasAuthorship W2293210816A5050247934 @default.
- W2293210816 hasAuthorship W2293210816A5057126487 @default.
- W2293210816 hasAuthorship W2293210816A5073274207 @default.
- W2293210816 hasAuthorship W2293210816A5090223343 @default.
- W2293210816 hasConcept C109701466 @default.
- W2293210816 hasConcept C113843644 @default.
- W2293210816 hasConcept C129307140 @default.
- W2293210816 hasConcept C138885662 @default.
- W2293210816 hasConcept C157915830 @default.
- W2293210816 hasConcept C173608175 @default.
- W2293210816 hasConcept C18903297 @default.
- W2293210816 hasConcept C199343813 @default.
- W2293210816 hasConcept C199360897 @default.
- W2293210816 hasConcept C26713055 @default.
- W2293210816 hasConcept C27206212 @default.
- W2293210816 hasConcept C2777299769 @default.
- W2293210816 hasConcept C2777686260 @default.
- W2293210816 hasConcept C2778738651 @default.
- W2293210816 hasConcept C41008148 @default.
- W2293210816 hasConcept C42383842 @default.
- W2293210816 hasConcept C548217200 @default.
- W2293210816 hasConcept C71924100 @default.
- W2293210816 hasConcept C80444323 @default.
- W2293210816 hasConcept C86803240 @default.
- W2293210816 hasConceptScore W2293210816C109701466 @default.
- W2293210816 hasConceptScore W2293210816C113843644 @default.
- W2293210816 hasConceptScore W2293210816C129307140 @default.
- W2293210816 hasConceptScore W2293210816C138885662 @default.
- W2293210816 hasConceptScore W2293210816C157915830 @default.
- W2293210816 hasConceptScore W2293210816C173608175 @default.
- W2293210816 hasConceptScore W2293210816C18903297 @default.
- W2293210816 hasConceptScore W2293210816C199343813 @default.
- W2293210816 hasConceptScore W2293210816C199360897 @default.
- W2293210816 hasConceptScore W2293210816C26713055 @default.
- W2293210816 hasConceptScore W2293210816C27206212 @default.
- W2293210816 hasConceptScore W2293210816C2777299769 @default.
- W2293210816 hasConceptScore W2293210816C2777686260 @default.
- W2293210816 hasConceptScore W2293210816C2778738651 @default.
- W2293210816 hasConceptScore W2293210816C41008148 @default.
- W2293210816 hasConceptScore W2293210816C42383842 @default.
- W2293210816 hasConceptScore W2293210816C548217200 @default.
- W2293210816 hasConceptScore W2293210816C71924100 @default.
- W2293210816 hasConceptScore W2293210816C80444323 @default.
- W2293210816 hasConceptScore W2293210816C86803240 @default.
- W2293210816 hasLocation W22932108161 @default.
- W2293210816 hasOpenAccess W2293210816 @default.
- W2293210816 hasPrimaryLocation W22932108161 @default.
- W2293210816 hasRelatedWork W103795364 @default.
- W2293210816 hasRelatedWork W1575675278 @default.
- W2293210816 hasRelatedWork W1625481196 @default.
- W2293210816 hasRelatedWork W1764939356 @default.
- W2293210816 hasRelatedWork W1860690667 @default.
- W2293210816 hasRelatedWork W2027751676 @default.
- W2293210816 hasRelatedWork W2154900313 @default.
- W2293210816 hasRelatedWork W2164269646 @default.
- W2293210816 hasRelatedWork W2231997718 @default.
- W2293210816 hasRelatedWork W2530798984 @default.
- W2293210816 hasRelatedWork W2566284873 @default.
- W2293210816 hasRelatedWork W2741834483 @default.
- W2293210816 hasRelatedWork W2950694678 @default.
- W2293210816 hasRelatedWork W2978457387 @default.
- W2293210816 hasRelatedWork W3036168088 @default.
- W2293210816 hasRelatedWork W3042806824 @default.
- W2293210816 hasRelatedWork W3091639623 @default.
- W2293210816 hasRelatedWork W3160523673 @default.
- W2293210816 hasRelatedWork W3204834938 @default.
- W2293210816 hasRelatedWork W2142423074 @default.
- W2293210816 isParatext "false" @default.
- W2293210816 isRetracted "false" @default.
- W2293210816 magId "2293210816" @default.
- W2293210816 workType "article" @default.