Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030596706> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2030596706 endingPage "61" @default.
- W2030596706 startingPage "52" @default.
- W2030596706 abstract "This article presents a type system for context-dependent overloading, based on the notion of constrained types. These are types constrained by the definition of functions or constants of given types. This notion supports both overloading and a form of subtyping, and is related to Haskell type classes[11,2], System O [7] and other systems with constrained types[9,8]. We study an extension of the Damas-Milner system[4,1] with constrained types. The inference system presented uses a context-dependent overloading policy, which is specified by means of a predicate used in a single inference rule. The idea simplifies the treatment of overloading, enables the simplification of inferred types (by means of class type annotations), and is adequate for use in a type system with higher-order types." @default.
- W2030596706 created "2016-06-24" @default.
- W2030596706 creator A5048776424 @default.
- W2030596706 creator A5088820872 @default.
- W2030596706 date "1998-01-01" @default.
- W2030596706 modified "2023-09-25" @default.
- W2030596706 title "A Type System for Context-dependent Overloading" @default.
- W2030596706 cites W1535026268 @default.
- W2030596706 cites W1552871260 @default.
- W2030596706 cites W2016076634 @default.
- W2030596706 cites W2032249605 @default.
- W2030596706 cites W2059895047 @default.
- W2030596706 cites W2060688393 @default.
- W2030596706 cites W2080040385 @default.
- W2030596706 cites W2084788336 @default.
- W2030596706 cites W2095136535 @default.
- W2030596706 cites W2163976959 @default.
- W2030596706 cites W2166822586 @default.
- W2030596706 doi "https://doi.org/10.1016/s1571-0661(05)80229-4" @default.
- W2030596706 hasPublicationYear "1998" @default.
- W2030596706 type Work @default.
- W2030596706 sameAs 2030596706 @default.
- W2030596706 citedByCount "0" @default.
- W2030596706 crossrefType "journal-article" @default.
- W2030596706 hasAuthorship W2030596706A5048776424 @default.
- W2030596706 hasAuthorship W2030596706A5088820872 @default.
- W2030596706 hasBestOaLocation W20305967061 @default.
- W2030596706 hasConcept C140146324 @default.
- W2030596706 hasConcept C151730666 @default.
- W2030596706 hasConcept C154945302 @default.
- W2030596706 hasConcept C18903297 @default.
- W2030596706 hasConcept C198370458 @default.
- W2030596706 hasConcept C199360897 @default.
- W2030596706 hasConcept C2776214188 @default.
- W2030596706 hasConcept C2777299769 @default.
- W2030596706 hasConcept C2778029271 @default.
- W2030596706 hasConcept C2779343474 @default.
- W2030596706 hasConcept C2780624054 @default.
- W2030596706 hasConcept C41008148 @default.
- W2030596706 hasConcept C42383842 @default.
- W2030596706 hasConcept C80444323 @default.
- W2030596706 hasConcept C83852419 @default.
- W2030596706 hasConcept C86803240 @default.
- W2030596706 hasConcept C93682546 @default.
- W2030596706 hasConceptScore W2030596706C140146324 @default.
- W2030596706 hasConceptScore W2030596706C151730666 @default.
- W2030596706 hasConceptScore W2030596706C154945302 @default.
- W2030596706 hasConceptScore W2030596706C18903297 @default.
- W2030596706 hasConceptScore W2030596706C198370458 @default.
- W2030596706 hasConceptScore W2030596706C199360897 @default.
- W2030596706 hasConceptScore W2030596706C2776214188 @default.
- W2030596706 hasConceptScore W2030596706C2777299769 @default.
- W2030596706 hasConceptScore W2030596706C2778029271 @default.
- W2030596706 hasConceptScore W2030596706C2779343474 @default.
- W2030596706 hasConceptScore W2030596706C2780624054 @default.
- W2030596706 hasConceptScore W2030596706C41008148 @default.
- W2030596706 hasConceptScore W2030596706C42383842 @default.
- W2030596706 hasConceptScore W2030596706C80444323 @default.
- W2030596706 hasConceptScore W2030596706C83852419 @default.
- W2030596706 hasConceptScore W2030596706C86803240 @default.
- W2030596706 hasConceptScore W2030596706C93682546 @default.
- W2030596706 hasLocation W20305967061 @default.
- W2030596706 hasLocation W20305967062 @default.
- W2030596706 hasOpenAccess W2030596706 @default.
- W2030596706 hasPrimaryLocation W20305967061 @default.
- W2030596706 hasRelatedWork W1434978938 @default.
- W2030596706 hasRelatedWork W1550049051 @default.
- W2030596706 hasRelatedWork W1573380057 @default.
- W2030596706 hasRelatedWork W1575522358 @default.
- W2030596706 hasRelatedWork W2001006721 @default.
- W2030596706 hasRelatedWork W2030596706 @default.
- W2030596706 hasRelatedWork W2169148161 @default.
- W2030596706 hasRelatedWork W2811069900 @default.
- W2030596706 hasRelatedWork W2984085903 @default.
- W2030596706 hasRelatedWork W4252649616 @default.
- W2030596706 hasVolume "14" @default.
- W2030596706 isParatext "false" @default.
- W2030596706 isRetracted "false" @default.
- W2030596706 magId "2030596706" @default.
- W2030596706 workType "article" @default.