Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030967188> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2030967188 abstract "Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynamic typing with a subtyping system based on set constraints. The purpose is both to make precise the relationship between two superficially unrelated type systems and to illustrate how the advantages of dynamic typing and subtype inference can be combined. The central result is a theorem showing that a typing discipline at least as powerful as dynamic typing can be expressed using set constraints." @default.
- W2030967188 created "2016-06-24" @default.
- W2030967188 creator A5061301239 @default.
- W2030967188 creator A5084249145 @default.
- W2030967188 date "1995-01-01" @default.
- W2030967188 modified "2023-09-23" @default.
- W2030967188 title "Dynamic typing and subtype inference" @default.
- W2030967188 cites W1516382534 @default.
- W2030967188 cites W1532312848 @default.
- W2030967188 cites W1762668282 @default.
- W2030967188 cites W1926956344 @default.
- W2030967188 cites W1963954367 @default.
- W2030967188 cites W1971344734 @default.
- W2030967188 cites W1983256770 @default.
- W2030967188 cites W1992520783 @default.
- W2030967188 cites W2001507716 @default.
- W2030967188 cites W2007313703 @default.
- W2030967188 cites W2022443117 @default.
- W2030967188 cites W2137946574 @default.
- W2030967188 cites W2139966078 @default.
- W2030967188 cites W2161100976 @default.
- W2030967188 cites W2293770661 @default.
- W2030967188 cites W2912351643 @default.
- W2030967188 doi "https://doi.org/10.1145/224164.224201" @default.
- W2030967188 hasPublicationYear "1995" @default.
- W2030967188 type Work @default.
- W2030967188 sameAs 2030967188 @default.
- W2030967188 citedByCount "5" @default.
- W2030967188 countsByYear W20309671882016 @default.
- W2030967188 countsByYear W20309671882019 @default.
- W2030967188 crossrefType "proceedings-article" @default.
- W2030967188 hasAuthorship W2030967188A5061301239 @default.
- W2030967188 hasAuthorship W2030967188A5084249145 @default.
- W2030967188 hasBestOaLocation W20309671881 @default.
- W2030967188 hasConcept C154945302 @default.
- W2030967188 hasConcept C2776214188 @default.
- W2030967188 hasConcept C2781209916 @default.
- W2030967188 hasConcept C28490314 @default.
- W2030967188 hasConcept C41008148 @default.
- W2030967188 hasConcept C70721500 @default.
- W2030967188 hasConcept C86803240 @default.
- W2030967188 hasConceptScore W2030967188C154945302 @default.
- W2030967188 hasConceptScore W2030967188C2776214188 @default.
- W2030967188 hasConceptScore W2030967188C2781209916 @default.
- W2030967188 hasConceptScore W2030967188C28490314 @default.
- W2030967188 hasConceptScore W2030967188C41008148 @default.
- W2030967188 hasConceptScore W2030967188C70721500 @default.
- W2030967188 hasConceptScore W2030967188C86803240 @default.
- W2030967188 hasLocation W20309671881 @default.
- W2030967188 hasOpenAccess W2030967188 @default.
- W2030967188 hasPrimaryLocation W20309671881 @default.
- W2030967188 hasRelatedWork W1973656415 @default.
- W2030967188 hasRelatedWork W2367950322 @default.
- W2030967188 hasRelatedWork W2404595106 @default.
- W2030967188 hasRelatedWork W2911297108 @default.
- W2030967188 hasRelatedWork W2936979086 @default.
- W2030967188 hasRelatedWork W2953238046 @default.
- W2030967188 hasRelatedWork W4210999218 @default.
- W2030967188 hasRelatedWork W4289528260 @default.
- W2030967188 hasRelatedWork W4300631627 @default.
- W2030967188 hasRelatedWork W86463150 @default.
- W2030967188 isParatext "false" @default.
- W2030967188 isRetracted "false" @default.
- W2030967188 magId "2030967188" @default.
- W2030967188 workType "article" @default.