Matches in SemOpenAlex for { <https://semopenalex.org/work/W3163012639> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3163012639 abstract "Several programming languages are beginning to integrate static and dynamic typing, including Racket (formerly PLT Scheme), Perl 6, and C# 4.0 and the research languages Sage (Gronski, Knowles, Tomb, Freund, and Flanagan, 2006) and Thorn (Wrigstad, Eugster, Field, Nystrom, and Vitek, 2009). However, an important open question remains, which is how to add parametric polymorphism to languages that combine static and dynamic typing. We present a system that permits a value of dynamic type to be cast to a polymorphic type and vice versa, with relational parametricity enforced by a kind of dynamic sealing along the lines proposed by Matthews and Ahmed (2008) and Neis, Dreyer, and Rossberg (2009). Our system includes a notion of blame, which allows us to show that when casting between a more-precise type and a less-precise type, any cast failures are due to the less-precisely-typed portion of the program. We also show that a cast from a subtype to its supertype cannot fail." @default.
- W3163012639 created "2021-05-24" @default.
- W3163012639 creator A5018878077 @default.
- W3163012639 creator A5033999458 @default.
- W3163012639 creator A5081388086 @default.
- W3163012639 creator A5084250644 @default.
- W3163012639 date "2011-01-26" @default.
- W3163012639 modified "2023-10-17" @default.
- W3163012639 title "Blame for all" @default.
- W3163012639 cites W1502282368 @default.
- W3163012639 cites W1762668282 @default.
- W3163012639 cites W1966981171 @default.
- W3163012639 cites W1987203566 @default.
- W3163012639 cites W2022407453 @default.
- W3163012639 cites W2052822938 @default.
- W3163012639 cites W2052973434 @default.
- W3163012639 cites W2060029146 @default.
- W3163012639 cites W2075981791 @default.
- W3163012639 cites W2087828835 @default.
- W3163012639 cites W2111531191 @default.
- W3163012639 cites W2112121519 @default.
- W3163012639 cites W2125690388 @default.
- W3163012639 cites W2128303158 @default.
- W3163012639 cites W2133828278 @default.
- W3163012639 cites W2150998213 @default.
- W3163012639 cites W2160241785 @default.
- W3163012639 cites W4245120671 @default.
- W3163012639 doi "https://doi.org/10.1145/1926385.1926409" @default.
- W3163012639 hasPublicationYear "2011" @default.
- W3163012639 type Work @default.
- W3163012639 sameAs 3163012639 @default.
- W3163012639 citedByCount "66" @default.
- W3163012639 countsByYear W31630126392012 @default.
- W3163012639 countsByYear W31630126392013 @default.
- W3163012639 countsByYear W31630126392014 @default.
- W3163012639 countsByYear W31630126392015 @default.
- W3163012639 countsByYear W31630126392016 @default.
- W3163012639 countsByYear W31630126392017 @default.
- W3163012639 countsByYear W31630126392018 @default.
- W3163012639 countsByYear W31630126392019 @default.
- W3163012639 countsByYear W31630126392020 @default.
- W3163012639 countsByYear W31630126392021 @default.
- W3163012639 countsByYear W31630126392022 @default.
- W3163012639 countsByYear W31630126392023 @default.
- W3163012639 crossrefType "proceedings-article" @default.
- W3163012639 hasAuthorship W3163012639A5018878077 @default.
- W3163012639 hasAuthorship W3163012639A5033999458 @default.
- W3163012639 hasAuthorship W3163012639A5081388086 @default.
- W3163012639 hasAuthorship W3163012639A5084250644 @default.
- W3163012639 hasConcept C118552586 @default.
- W3163012639 hasConcept C127413603 @default.
- W3163012639 hasConcept C15744967 @default.
- W3163012639 hasConcept C199360897 @default.
- W3163012639 hasConcept C2778707667 @default.
- W3163012639 hasConcept C2781466463 @default.
- W3163012639 hasConcept C41008148 @default.
- W3163012639 hasConcept C65655974 @default.
- W3163012639 hasConcept C78519656 @default.
- W3163012639 hasConceptScore W3163012639C118552586 @default.
- W3163012639 hasConceptScore W3163012639C127413603 @default.
- W3163012639 hasConceptScore W3163012639C15744967 @default.
- W3163012639 hasConceptScore W3163012639C199360897 @default.
- W3163012639 hasConceptScore W3163012639C2778707667 @default.
- W3163012639 hasConceptScore W3163012639C2781466463 @default.
- W3163012639 hasConceptScore W3163012639C41008148 @default.
- W3163012639 hasConceptScore W3163012639C65655974 @default.
- W3163012639 hasConceptScore W3163012639C78519656 @default.
- W3163012639 hasLocation W31630126391 @default.
- W3163012639 hasOpenAccess W3163012639 @default.
- W3163012639 hasPrimaryLocation W31630126391 @default.
- W3163012639 hasRelatedWork W2013111119 @default.
- W3163012639 hasRelatedWork W2112962394 @default.
- W3163012639 hasRelatedWork W2118300983 @default.
- W3163012639 hasRelatedWork W2382501300 @default.
- W3163012639 hasRelatedWork W3137189469 @default.
- W3163012639 hasRelatedWork W3162240892 @default.
- W3163012639 hasRelatedWork W4229928981 @default.
- W3163012639 hasRelatedWork W4235530921 @default.
- W3163012639 hasRelatedWork W4243252198 @default.
- W3163012639 hasRelatedWork W4245713008 @default.
- W3163012639 isParatext "false" @default.
- W3163012639 isRetracted "false" @default.
- W3163012639 magId "3163012639" @default.
- W3163012639 workType "article" @default.