Matches in SemOpenAlex for { <https://semopenalex.org/work/W61296952> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W61296952 endingPage "311" @default.
- W61296952 startingPage "275" @default.
- W61296952 abstract "As we sketched in the previous chapter, System F (i.e., the second order λ-calculus) is a language that permits us to write functions that take types as input. However, these functions depend on their input in a very strict way: different input types affect just the type of the result, not its value. The practical counterpart of this observation is given by the fact that types are thrown away during the computation which is then performed on the erasures of the terms (i.e., the terms deprived of type annotations). F≤ is a conservative extension of System F in which it is possible to specify bounds on the types to which a function can be applied. The type-checker uses this further information to type the body of the function. However, the functions of F≤ still have the same kind of dependence as in System F, since types are again not used by the computation. In this chapter we extend F≤ by a type dependency that also affects the computation. We describe functions that dispatch on different codes according to the type passed as argument. More precisely, we add to F≤ second order overloaded functions. The result is a calculus in which overloaded functions are applied to types and the selection is based on the type at the argument (rather than on the type of the argument)." @default.
- W61296952 created "2016-06-24" @default.
- W61296952 creator A5084702945 @default.
- W61296952 date "1997-01-01" @default.
- W61296952 modified "2023-09-25" @default.
- W61296952 title "Second order overloading" @default.
- W61296952 doi "https://doi.org/10.1007/978-1-4612-4138-6_12" @default.
- W61296952 hasPublicationYear "1997" @default.
- W61296952 type Work @default.
- W61296952 sameAs 61296952 @default.
- W61296952 citedByCount "0" @default.
- W61296952 crossrefType "book-chapter" @default.
- W61296952 hasAuthorship W61296952A5084702945 @default.
- W61296952 hasConcept C10138342 @default.
- W61296952 hasConcept C11413529 @default.
- W61296952 hasConcept C136119220 @default.
- W61296952 hasConcept C14036430 @default.
- W61296952 hasConcept C162324750 @default.
- W61296952 hasConcept C182306322 @default.
- W61296952 hasConcept C185592680 @default.
- W61296952 hasConcept C18903297 @default.
- W61296952 hasConcept C199343813 @default.
- W61296952 hasConcept C199360897 @default.
- W61296952 hasConcept C202444582 @default.
- W61296952 hasConcept C2777299769 @default.
- W61296952 hasConcept C2777686260 @default.
- W61296952 hasConcept C2778029271 @default.
- W61296952 hasConcept C33923547 @default.
- W61296952 hasConcept C41008148 @default.
- W61296952 hasConcept C45374587 @default.
- W61296952 hasConcept C55493867 @default.
- W61296952 hasConcept C71924100 @default.
- W61296952 hasConcept C78458016 @default.
- W61296952 hasConcept C80444323 @default.
- W61296952 hasConcept C86803240 @default.
- W61296952 hasConcept C98184364 @default.
- W61296952 hasConceptScore W61296952C10138342 @default.
- W61296952 hasConceptScore W61296952C11413529 @default.
- W61296952 hasConceptScore W61296952C136119220 @default.
- W61296952 hasConceptScore W61296952C14036430 @default.
- W61296952 hasConceptScore W61296952C162324750 @default.
- W61296952 hasConceptScore W61296952C182306322 @default.
- W61296952 hasConceptScore W61296952C185592680 @default.
- W61296952 hasConceptScore W61296952C18903297 @default.
- W61296952 hasConceptScore W61296952C199343813 @default.
- W61296952 hasConceptScore W61296952C199360897 @default.
- W61296952 hasConceptScore W61296952C202444582 @default.
- W61296952 hasConceptScore W61296952C2777299769 @default.
- W61296952 hasConceptScore W61296952C2777686260 @default.
- W61296952 hasConceptScore W61296952C2778029271 @default.
- W61296952 hasConceptScore W61296952C33923547 @default.
- W61296952 hasConceptScore W61296952C41008148 @default.
- W61296952 hasConceptScore W61296952C45374587 @default.
- W61296952 hasConceptScore W61296952C55493867 @default.
- W61296952 hasConceptScore W61296952C71924100 @default.
- W61296952 hasConceptScore W61296952C78458016 @default.
- W61296952 hasConceptScore W61296952C80444323 @default.
- W61296952 hasConceptScore W61296952C86803240 @default.
- W61296952 hasConceptScore W61296952C98184364 @default.
- W61296952 hasLocation W612969521 @default.
- W61296952 hasOpenAccess W61296952 @default.
- W61296952 hasPrimaryLocation W612969521 @default.
- W61296952 hasRelatedWork W1502470308 @default.
- W61296952 hasRelatedWork W1595546368 @default.
- W61296952 hasRelatedWork W1970403310 @default.
- W61296952 hasRelatedWork W1984227438 @default.
- W61296952 hasRelatedWork W1988959623 @default.
- W61296952 hasRelatedWork W1996319902 @default.
- W61296952 hasRelatedWork W2008589819 @default.
- W61296952 hasRelatedWork W2054384926 @default.
- W61296952 hasRelatedWork W2079338175 @default.
- W61296952 hasRelatedWork W3216091191 @default.
- W61296952 isParatext "false" @default.
- W61296952 isRetracted "false" @default.
- W61296952 magId "61296952" @default.
- W61296952 workType "book-chapter" @default.