FRINK Linked Data Fragments server

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

• W2900351133 endingPage "32" @default.
• W2900351133 startingPage "1" @default.
• W2900351133 abstract "We define a new, more semantic interpretation of gradual types and use it to ``gradualize'' two forms of polymorphism: subtyping polymorphism and implicit parametric polymorphism. In particular, we use the new interpretation to define three gradual type systems ---Hindley-Milner, with subtyping, and with union and intersection types--- in terms of two preorders, subtyping and materialization. We define these systems both declaratively ---by adding two subsumption-like rules--- which yields clearer, more intelligible, and streamlined definitions, and algorithmically by reusing existing techniques such as unification and tallying." @default.
• W2900351133 created "2018-11-16" @default.
• W2900351133 creator A5033999458 @default.
• W2900351133 creator A5042112791 @default.
• W2900351133 creator A5084702945 @default.
• W2900351133 creator A5090463714 @default.
• W2900351133 date "2019-01-02" @default.
• W2900351133 modified "2023-10-18" @default.
• W2900351133 title "Gradual typing: a new perspective" @default.
• W2900351133 cites W1547023122 @default.
• W2900351133 cites W1963954367 @default.
• W2900351133 cites W1970075481 @default.
• W2900351133 cites W1988897846 @default.
• W2900351133 cites W2022443117 @default.
• W2900351133 cites W2034224849 @default.
• W2900351133 cites W2044710350 @default.
• W2900351133 cites W2051328776 @default.
• W2900351133 cites W2061808084 @default.
• W2900351133 cites W2070088936 @default.
• W2900351133 cites W2079482913 @default.
• W2900351133 cites W2087381628 @default.
• W2900351133 cites W2087871591 @default.
• W2900351133 cites W2093036100 @default.
• W2900351133 cites W2099281706 @default.
• W2900351133 cites W2113722134 @default.
• W2900351133 cites W2123812977 @default.
• W2900351133 cites W2128496924 @default.
• W2900351133 cites W2131242794 @default.
• W2900351133 cites W2131798111 @default.
• W2900351133 cites W2133828278 @default.
• W2900351133 cites W2150998213 @default.
• W2900351133 cites W2168779926 @default.
• W2900351133 cites W2293770661 @default.
• W2900351133 cites W2295283668 @default.
• W2900351133 cites W2295415424 @default.
• W2900351133 cites W2415457035 @default.
• W2900351133 cites W2556346428 @default.
• W2900351133 cites W2561537655 @default.
• W2900351133 cites W2563592207 @default.
• W2900351133 cites W2586829215 @default.
• W2900351133 cites W2751329183 @default.
• W2900351133 cites W2751966562 @default.
• W2900351133 cites W2764150781 @default.
• W2900351133 cites W2776911292 @default.
• W2900351133 cites W2911692446 @default.
• W2900351133 cites W3000266772 @default.
• W2900351133 cites W3014278192 @default.
• W2900351133 cites W3163132554 @default.
• W2900351133 cites W4212983671 @default.
• W2900351133 cites W4244807040 @default.
• W2900351133 cites W4247531708 @default.
• W2900351133 doi "https://doi.org/10.1145/3290329" @default.
• W2900351133 hasPublicationYear "2019" @default.
• W2900351133 type Work @default.
• W2900351133 sameAs 2900351133 @default.
• W2900351133 citedByCount "25" @default.
• W2900351133 countsByYear W29003511332019 @default.
• W2900351133 countsByYear W29003511332020 @default.
• W2900351133 countsByYear W29003511332021 @default.
• W2900351133 countsByYear W29003511332022 @default.
• W2900351133 countsByYear W29003511332023 @default.
• W2900351133 crossrefType "journal-article" @default.
• W2900351133 hasAuthorship W2900351133A5033999458 @default.
• W2900351133 hasAuthorship W2900351133A5042112791 @default.
• W2900351133 hasAuthorship W2900351133A5084702945 @default.
• W2900351133 hasAuthorship W2900351133A5090463714 @default.
• W2900351133 hasBestOaLocation W29003511331 @default.
• W2900351133 hasConcept C12713177 @default.
• W2900351133 hasConcept C127413603 @default.
• W2900351133 hasConcept C146978453 @default.
• W2900351133 hasConcept C154945302 @default.
• W2900351133 hasConcept C199360897 @default.
• W2900351133 hasConcept C206588197 @default.
• W2900351133 hasConcept C2780654840 @default.
• W2900351133 hasConcept C41008148 @default.
• W2900351133 hasConcept C527412718 @default.
• W2900351133 hasConcept C548081761 @default.
• W2900351133 hasConcept C64543145 @default.
• W2900351133 hasConcept C80444323 @default.
• W2900351133 hasConcept C83852419 @default.
• W2900351133 hasConcept C96146094 @default.
• W2900351133 hasConceptScore W2900351133C12713177 @default.
• W2900351133 hasConceptScore W2900351133C127413603 @default.
• W2900351133 hasConceptScore W2900351133C146978453 @default.
• W2900351133 hasConceptScore W2900351133C154945302 @default.
• W2900351133 hasConceptScore W2900351133C199360897 @default.
• W2900351133 hasConceptScore W2900351133C206588197 @default.
• W2900351133 hasConceptScore W2900351133C2780654840 @default.
• W2900351133 hasConceptScore W2900351133C41008148 @default.
• W2900351133 hasConceptScore W2900351133C527412718 @default.
• W2900351133 hasConceptScore W2900351133C548081761 @default.
• W2900351133 hasConceptScore W2900351133C64543145 @default.
• W2900351133 hasConceptScore W2900351133C80444323 @default.
• W2900351133 hasConceptScore W2900351133C83852419 @default.
• W2900351133 hasConceptScore W2900351133C96146094 @default.
• W2900351133 hasIssue "POPL" @default.
• W2900351133 hasLocation W29003511331 @default.
• W2900351133 hasLocation W29003511332 @default.

• next