Matches in SemOpenAlex for { <https://semopenalex.org/work/W152899481> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W152899481 abstract "One of the distinguishing features of Standard ML is the use of type generativity. Each declaration of a datatype binds a globally fresh type name to the type identifier introduced. Type generativity has been regarded as an extra-logical device which, though desirable in a programming language to ensure data abstraction, bears no close resemblance to type theoretic constructs. We show that it corresponds precisely to existential quantification over types, and use the observation to suggest proper extensions to the current static semantics of Standard ML." @default.
- W152899481 created "2016-06-24" @default.
- W152899481 creator A5081301440 @default.
- W152899481 date "1996-01-01" @default.
- W152899481 modified "2023-09-27" @default.
- W152899481 title "Standard ML Type Generativity as Existential Quantification" @default.
- W152899481 cites W1494827801 @default.
- W152899481 cites W1534508664 @default.
- W152899481 cites W1557254125 @default.
- W152899481 cites W1829244603 @default.
- W152899481 cites W1970673141 @default.
- W152899481 cites W2003298503 @default.
- W152899481 cites W2014889169 @default.
- W152899481 cites W2048569219 @default.
- W152899481 cites W2104204098 @default.
- W152899481 cites W2133171398 @default.
- W152899481 cites W2133639043 @default.
- W152899481 cites W2145945984 @default.
- W152899481 cites W2167017930 @default.
- W152899481 cites W80198721 @default.
- W152899481 hasPublicationYear "1996" @default.
- W152899481 type Work @default.
- W152899481 sameAs 152899481 @default.
- W152899481 citedByCount "1" @default.
- W152899481 crossrefType "journal-article" @default.
- W152899481 hasAuthorship W152899481A5081301440 @default.
- W152899481 hasConcept C111472728 @default.
- W152899481 hasConcept C124304363 @default.
- W152899481 hasConcept C127882523 @default.
- W152899481 hasConcept C138147947 @default.
- W152899481 hasConcept C138885662 @default.
- W152899481 hasConcept C138958017 @default.
- W152899481 hasConcept C154504017 @default.
- W152899481 hasConcept C15744967 @default.
- W152899481 hasConcept C162130032 @default.
- W152899481 hasConcept C184337299 @default.
- W152899481 hasConcept C18903297 @default.
- W152899481 hasConcept C199360897 @default.
- W152899481 hasConcept C2777299769 @default.
- W152899481 hasConcept C41008148 @default.
- W152899481 hasConcept C77805123 @default.
- W152899481 hasConcept C80444323 @default.
- W152899481 hasConcept C86803240 @default.
- W152899481 hasConceptScore W152899481C111472728 @default.
- W152899481 hasConceptScore W152899481C124304363 @default.
- W152899481 hasConceptScore W152899481C127882523 @default.
- W152899481 hasConceptScore W152899481C138147947 @default.
- W152899481 hasConceptScore W152899481C138885662 @default.
- W152899481 hasConceptScore W152899481C138958017 @default.
- W152899481 hasConceptScore W152899481C154504017 @default.
- W152899481 hasConceptScore W152899481C15744967 @default.
- W152899481 hasConceptScore W152899481C162130032 @default.
- W152899481 hasConceptScore W152899481C184337299 @default.
- W152899481 hasConceptScore W152899481C18903297 @default.
- W152899481 hasConceptScore W152899481C199360897 @default.
- W152899481 hasConceptScore W152899481C2777299769 @default.
- W152899481 hasConceptScore W152899481C41008148 @default.
- W152899481 hasConceptScore W152899481C77805123 @default.
- W152899481 hasConceptScore W152899481C80444323 @default.
- W152899481 hasConceptScore W152899481C86803240 @default.
- W152899481 hasLocation W1528994811 @default.
- W152899481 hasOpenAccess W152899481 @default.
- W152899481 hasPrimaryLocation W1528994811 @default.
- W152899481 hasRelatedWork W1021809381 @default.
- W152899481 hasRelatedWork W1540981491 @default.
- W152899481 hasRelatedWork W1578976048 @default.
- W152899481 hasRelatedWork W192452711 @default.
- W152899481 hasRelatedWork W2016937339 @default.
- W152899481 hasRelatedWork W2117483331 @default.
- W152899481 hasRelatedWork W2163705167 @default.
- W152899481 hasRelatedWork W2245550411 @default.
- W152899481 hasRelatedWork W2400450208 @default.
- W152899481 hasRelatedWork W2527749908 @default.
- W152899481 hasRelatedWork W2562482846 @default.
- W152899481 hasRelatedWork W2898868394 @default.
- W152899481 hasRelatedWork W2912273059 @default.
- W152899481 hasRelatedWork W2990670289 @default.
- W152899481 hasRelatedWork W3038650562 @default.
- W152899481 hasRelatedWork W3100491053 @default.
- W152899481 hasRelatedWork W3120111630 @default.
- W152899481 hasRelatedWork W1493829579 @default.
- W152899481 hasRelatedWork W2134124279 @default.
- W152899481 hasRelatedWork W2531240309 @default.
- W152899481 isParatext "false" @default.
- W152899481 isRetracted "false" @default.
- W152899481 magId "152899481" @default.
- W152899481 workType "article" @default.