FRINK Linked Data Fragments server

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

• W1552871260 abstract "Many computer programs have the property that they work correctly on a variety of types of input; such programs are called polymorphic. Polymorphic type systems support polymorphism by allowing programs to be given multiple types. In this way, programs are permitted greater flexibility of use, while still receiving the benefits of strong typing.One especially successful polymorphic type system is the system of Hindley, Milner, and Damas, which is used in the programming language ML. This type system allows programs to be given universally quantified types as a means of expressing polymorphism. It has two especially nice properties. First, every well-typed program has a best type, called the principal type, that captures all the possible types of the program. Second, principal types can be inferred, allowing programs to be written without type declarations. However, two useful kinds of polymorphism cannot be expressed in this type system: overloading and subtyping. Overloading is the kind of polymorphism exhibited by a function like addition, whose types cannot be captured by a single universally quantified type formula. Subtyping is the property that one type is contained in another, as, for example int $subseteq$ real.This dissertation extends the Hindley/Milner/Damas type system to incorporate overloading and subtyping. The key device needed is constrained universal quantification, in which quantified variables are allowed only those instantiations that satisfy a set of constraints. We present an inference algorithm and prove that it is sound and complete; hence it infers principal types.An issue that arises with constrained quantification is the satisfiability of constraint sets. We prove that it is undecidable whether a given constraint set is satisfiable; this difficulty leads us to impose restrictions on overloading.An interesting feature of type inference with subtyping is the necessity of simplifying the inferred types--the unsimplified types are unintelligible. The simplification process involves shape unification, graph algorithms such as strongly connected components and transitive reduction, and simplifications based on the monotonicities of type formulas." @default.
• W1552871260 created "2016-06-24" @default.
• W1552871260 creator A5060241969 @default.
• W1552871260 date "1992-01-01" @default.
• W1552871260 modified "2023-10-12" @default.
• W1552871260 title "Polymorphic type inference for languages with overloading and subtyping" @default.
• W1552871260 cites W1523047387 @default.
• W1552871260 cites W1532487911 @default.
• W1552871260 cites W1537854563 @default.
• W1552871260 cites W1554432400 @default.
• W1552871260 cites W1562611359 @default.
• W1552871260 cites W1595372275 @default.
• W1552871260 cites W159715351 @default.
• W1552871260 cites W1655990431 @default.
• W1552871260 cites W1703087989 @default.
• W1552871260 cites W1783314273 @default.
• W1552871260 cites W183357072 @default.
• W1552871260 cites W1874450173 @default.
• W1552871260 cites W1964476601 @default.
• W1552871260 cites W2002089154 @default.
• W1552871260 cites W2015256273 @default.
• W1552871260 cites W2019376542 @default.
• W1552871260 cites W2027657506 @default.
• W1552871260 cites W2030124942 @default.
• W1552871260 cites W2056253254 @default.
• W1552871260 cites W2062145157 @default.
• W1552871260 cites W2084792162 @default.
• W1552871260 cites W2087828835 @default.
• W1552871260 cites W2100738443 @default.
• W1552871260 cites W2110920860 @default.
• W1552871260 cites W2113553164 @default.
• W1552871260 cites W2124287930 @default.
• W1552871260 cites W2125360711 @default.
• W1552871260 cites W2128057448 @default.
• W1552871260 cites W2133472914 @default.
• W1552871260 cites W2163976959 @default.
• W1552871260 cites W2166822586 @default.
• W1552871260 cites W2168529278 @default.
• W1552871260 cites W2172205908 @default.
• W1552871260 cites W2173184982 @default.
• W1552871260 cites W2753176400 @default.
• W1552871260 cites W647082418 @default.
• W1552871260 hasPublicationYear "1992" @default.
• W1552871260 type Work @default.
• W1552871260 sameAs 1552871260 @default.
• W1552871260 citedByCount "16" @default.
• W1552871260 countsByYear W15528712602012 @default.
• W1552871260 countsByYear W15528712602016 @default.
• W1552871260 crossrefType "journal-article" @default.
• W1552871260 hasAuthorship W1552871260A5060241969 @default.
• W1552871260 hasConcept C154945302 @default.
• W1552871260 hasConcept C18903297 @default.
• W1552871260 hasConcept C198370458 @default.
• W1552871260 hasConcept C199360897 @default.
• W1552871260 hasConcept C2776214188 @default.
• W1552871260 hasConcept C2777299769 @default.
• W1552871260 hasConcept C41008148 @default.
• W1552871260 hasConcept C80444323 @default.
• W1552871260 hasConcept C83852419 @default.
• W1552871260 hasConcept C86803240 @default.
• W1552871260 hasConceptScore W1552871260C154945302 @default.
• W1552871260 hasConceptScore W1552871260C18903297 @default.
• W1552871260 hasConceptScore W1552871260C198370458 @default.
• W1552871260 hasConceptScore W1552871260C199360897 @default.
• W1552871260 hasConceptScore W1552871260C2776214188 @default.
• W1552871260 hasConceptScore W1552871260C2777299769 @default.
• W1552871260 hasConceptScore W1552871260C41008148 @default.
• W1552871260 hasConceptScore W1552871260C80444323 @default.
• W1552871260 hasConceptScore W1552871260C83852419 @default.
• W1552871260 hasConceptScore W1552871260C86803240 @default.
• W1552871260 hasLocation W15528712601 @default.
• W1552871260 hasOpenAccess W1552871260 @default.
• W1552871260 hasPrimaryLocation W15528712601 @default.
• W1552871260 hasRelatedWork W1481494287 @default.
• W1552871260 hasRelatedWork W1551706119 @default.
• W1552871260 hasRelatedWork W1554432400 @default.
• W1552871260 hasRelatedWork W1562611359 @default.
• W1552871260 hasRelatedWork W1703087989 @default.
• W1552871260 hasRelatedWork W1783314273 @default.
• W1552871260 hasRelatedWork W1829244603 @default.
• W1552871260 hasRelatedWork W1969093922 @default.
• W1552871260 hasRelatedWork W2001006721 @default.
• W1552871260 hasRelatedWork W2036414952 @default.
• W1552871260 hasRelatedWork W2051328776 @default.
• W1552871260 hasRelatedWork W2058279444 @default.
• W1552871260 hasRelatedWork W2059895047 @default.
• W1552871260 hasRelatedWork W2062950667 @default.
• W1552871260 hasRelatedWork W2095136535 @default.
• W1552871260 hasRelatedWork W2100738443 @default.
• W1552871260 hasRelatedWork W2101085206 @default.
• W1552871260 hasRelatedWork W2131067178 @default.
• W1552871260 hasRelatedWork W2163976959 @default.
• W1552871260 hasRelatedWork W2166822586 @default.
• W1552871260 isParatext "false" @default.
• W1552871260 isRetracted "false" @default.
• W1552871260 magId "1552871260" @default.
• W1552871260 workType "article" @default.