Matches in SemOpenAlex for { <https://semopenalex.org/work/W1874450173> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1874450173 endingPage "138" @default.
- W1874450173 startingPage "97" @default.
- W1874450173 abstract "We examine three disparate views of the type structure of programming languages: Milner's type deduction system and polymorphic let construct, the theory of subtypes and generic operators, and the polymorphic or second-order typed lambda calculus. These approaches are illustrated with a functional language including product, sum and list constructors. The syntactic behavior of types is formalized with type inference rules, but their semantics is treated intuitively." @default.
- W1874450173 created "2016-06-24" @default.
- W1874450173 creator A5050862386 @default.
- W1874450173 date "1985-01-01" @default.
- W1874450173 modified "2023-10-17" @default.
- W1874450173 title "Three approaches to type structure" @default.
- W1874450173 cites W1519382205 @default.
- W1874450173 cites W1549406551 @default.
- W1874450173 cites W1595372275 @default.
- W1874450173 cites W1981303668 @default.
- W1874450173 cites W1984807151 @default.
- W1874450173 cites W1986382835 @default.
- W1874450173 cites W1987091892 @default.
- W1874450173 cites W2045255985 @default.
- W1874450173 cites W2056253254 @default.
- W1874450173 cites W2067911767 @default.
- W1874450173 cites W2095405219 @default.
- W1874450173 cites W2100738443 @default.
- W1874450173 cites W2125360711 @default.
- W1874450173 cites W2134338128 @default.
- W1874450173 cites W2152944474 @default.
- W1874450173 cites W2161122997 @default.
- W1874450173 cites W2166822586 @default.
- W1874450173 cites W2686043342 @default.
- W1874450173 doi "https://doi.org/10.1007/3-540-15198-2_7" @default.
- W1874450173 hasPublicationYear "1985" @default.
- W1874450173 type Work @default.
- W1874450173 sameAs 1874450173 @default.
- W1874450173 citedByCount "79" @default.
- W1874450173 countsByYear W18744501732012 @default.
- W1874450173 countsByYear W18744501732014 @default.
- W1874450173 countsByYear W18744501732015 @default.
- W1874450173 countsByYear W18744501732016 @default.
- W1874450173 countsByYear W18744501732018 @default.
- W1874450173 crossrefType "book-chapter" @default.
- W1874450173 hasAuthorship W1874450173A5050862386 @default.
- W1874450173 hasBestOaLocation W18744501731 @default.
- W1874450173 hasConcept C135790938 @default.
- W1874450173 hasConcept C142156749 @default.
- W1874450173 hasConcept C154945302 @default.
- W1874450173 hasConcept C184337299 @default.
- W1874450173 hasConcept C18903297 @default.
- W1874450173 hasConcept C198370458 @default.
- W1874450173 hasConcept C199360897 @default.
- W1874450173 hasConcept C20528804 @default.
- W1874450173 hasConcept C2776214188 @default.
- W1874450173 hasConcept C2777299769 @default.
- W1874450173 hasConcept C2780801425 @default.
- W1874450173 hasConcept C41008148 @default.
- W1874450173 hasConcept C42383842 @default.
- W1874450173 hasConcept C55128367 @default.
- W1874450173 hasConcept C86803240 @default.
- W1874450173 hasConcept C93682546 @default.
- W1874450173 hasConceptScore W1874450173C135790938 @default.
- W1874450173 hasConceptScore W1874450173C142156749 @default.
- W1874450173 hasConceptScore W1874450173C154945302 @default.
- W1874450173 hasConceptScore W1874450173C184337299 @default.
- W1874450173 hasConceptScore W1874450173C18903297 @default.
- W1874450173 hasConceptScore W1874450173C198370458 @default.
- W1874450173 hasConceptScore W1874450173C199360897 @default.
- W1874450173 hasConceptScore W1874450173C20528804 @default.
- W1874450173 hasConceptScore W1874450173C2776214188 @default.
- W1874450173 hasConceptScore W1874450173C2777299769 @default.
- W1874450173 hasConceptScore W1874450173C2780801425 @default.
- W1874450173 hasConceptScore W1874450173C41008148 @default.
- W1874450173 hasConceptScore W1874450173C42383842 @default.
- W1874450173 hasConceptScore W1874450173C55128367 @default.
- W1874450173 hasConceptScore W1874450173C86803240 @default.
- W1874450173 hasConceptScore W1874450173C93682546 @default.
- W1874450173 hasLocation W18744501731 @default.
- W1874450173 hasOpenAccess W1874450173 @default.
- W1874450173 hasPrimaryLocation W18744501731 @default.
- W1874450173 hasRelatedWork W1545794938 @default.
- W1874450173 hasRelatedWork W1562483556 @default.
- W1874450173 hasRelatedWork W1592799753 @default.
- W1874450173 hasRelatedWork W1874450173 @default.
- W1874450173 hasRelatedWork W1992310464 @default.
- W1874450173 hasRelatedWork W2125333933 @default.
- W1874450173 hasRelatedWork W2129762978 @default.
- W1874450173 hasRelatedWork W2550953148 @default.
- W1874450173 hasRelatedWork W3091937109 @default.
- W1874450173 hasRelatedWork W3021962464 @default.
- W1874450173 isParatext "false" @default.
- W1874450173 isRetracted "false" @default.
- W1874450173 magId "1874450173" @default.
- W1874450173 workType "book-chapter" @default.