FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3118228945> ?p ?o ?g. }

• W3118228945 endingPage "44" @default.
• W3118228945 startingPage "35" @default.
• W3118228945 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.
• W3118228945 created "2021-01-05" @default.
• W3118228945 creator A5022245507 @default.
• W3118228945 creator A5030281181 @default.
• W3118228945 creator A5050247934 @default.
• W3118228945 creator A5076278356 @default.
• W3118228945 creator A5091901590 @default.
• W3118228945 date "2012-06-11" @default.
• W3118228945 modified "2023-10-17" @default.
• W3118228945 title "The implicit calculus" @default.
• W3118228945 cites W1481494287 @default.
• W3118228945 cites W1558115254 @default.
• W3118228945 cites W1578673597 @default.
• W3118228945 cites W1964211642 @default.
• W3118228945 cites W2014021676 @default.
• W3118228945 cites W2026323010 @default.
• W3118228945 cites W2039211229 @default.
• W3118228945 cites W2059895047 @default.
• W3118228945 cites W2063477581 @default.
• W3118228945 cites W206809417 @default.
• W3118228945 cites W2069858276 @default.
• W3118228945 cites W2080312918 @default.
• W3118228945 cites W2082765113 @default.
• W3118228945 cites W2105831091 @default.
• W3118228945 cites W2107214848 @default.
• W3118228945 cites W2110317952 @default.
• W3118228945 cites W2116616150 @default.
• W3118228945 cites W2133625592 @default.
• W3118228945 cites W2139099489 @default.
• W3118228945 cites W2139141719 @default.
• W3118228945 cites W2153980431 @default.
• W3118228945 cites W2154390633 @default.
• W3118228945 cites W2168938117 @default.
• W3118228945 cites W4213090963 @default.
• W3118228945 cites W4213453328 @default.
• W3118228945 cites W4233840497 @default.
• W3118228945 cites W4237270226 @default.
• W3118228945 doi "https://doi.org/10.1145/2345156.2254070" @default.
• W3118228945 hasPublicationYear "2012" @default.
• W3118228945 type Work @default.
• W3118228945 sameAs 3118228945 @default.
• W3118228945 citedByCount "6" @default.
• W3118228945 countsByYear W31182289452015 @default.
• W3118228945 countsByYear W31182289452016 @default.
• W3118228945 countsByYear W31182289452017 @default.
• W3118228945 countsByYear W31182289452019 @default.
• W3118228945 countsByYear W31182289452020 @default.
• W3118228945 crossrefType "journal-article" @default.
• W3118228945 hasAuthorship W3118228945A5022245507 @default.
• W3118228945 hasAuthorship W3118228945A5030281181 @default.
• W3118228945 hasAuthorship W3118228945A5050247934 @default.
• W3118228945 hasAuthorship W3118228945A5076278356 @default.
• W3118228945 hasAuthorship W3118228945A5091901590 @default.
• W3118228945 hasBestOaLocation W31182289452 @default.
• W3118228945 hasConcept C109701466 @default.
• W3118228945 hasConcept C113843644 @default.
• W3118228945 hasConcept C129307140 @default.
• W3118228945 hasConcept C138885662 @default.
• W3118228945 hasConcept C157915830 @default.
• W3118228945 hasConcept C173608175 @default.
• W3118228945 hasConcept C18903297 @default.
• W3118228945 hasConcept C199343813 @default.
• W3118228945 hasConcept C199360897 @default.
• W3118228945 hasConcept C26713055 @default.
• W3118228945 hasConcept C27206212 @default.
• W3118228945 hasConcept C2777299769 @default.
• W3118228945 hasConcept C2777686260 @default.
• W3118228945 hasConcept C2778738651 @default.
• W3118228945 hasConcept C41008148 @default.
• W3118228945 hasConcept C42383842 @default.
• W3118228945 hasConcept C548217200 @default.
• W3118228945 hasConcept C71924100 @default.
• W3118228945 hasConcept C80444323 @default.
• W3118228945 hasConcept C86803240 @default.
• W3118228945 hasConceptScore W3118228945C109701466 @default.
• W3118228945 hasConceptScore W3118228945C113843644 @default.
• W3118228945 hasConceptScore W3118228945C129307140 @default.
• W3118228945 hasConceptScore W3118228945C138885662 @default.
• W3118228945 hasConceptScore W3118228945C157915830 @default.
• W3118228945 hasConceptScore W3118228945C173608175 @default.
• W3118228945 hasConceptScore W3118228945C18903297 @default.
• W3118228945 hasConceptScore W3118228945C199343813 @default.
• W3118228945 hasConceptScore W3118228945C199360897 @default.
• W3118228945 hasConceptScore W3118228945C26713055 @default.
• W3118228945 hasConceptScore W3118228945C27206212 @default.
• W3118228945 hasConceptScore W3118228945C2777299769 @default.
• W3118228945 hasConceptScore W3118228945C2777686260 @default.
• W3118228945 hasConceptScore W3118228945C2778738651 @default.
• W3118228945 hasConceptScore W3118228945C41008148 @default.
• W3118228945 hasConceptScore W3118228945C42383842 @default.
• W3118228945 hasConceptScore W3118228945C548217200 @default.
• W3118228945 hasConceptScore W3118228945C71924100 @default.
• W3118228945 hasConceptScore W3118228945C80444323 @default.
• W3118228945 hasConceptScore W3118228945C86803240 @default.
• W3118228945 hasIssue "6" @default.
• W3118228945 hasLocation W31182289451 @default.
• W3118228945 hasLocation W31182289452 @default.
• W3118228945 hasOpenAccess W3118228945 @default.

• next