Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079482913> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2079482913 abstract "Gradual typing is a framework to combine static and dynamic typing in a single programming language. In this paper, we develop a gradual type system for class-based object-oriented languages with generics. We introduce a special type to denote dynamically typed parts of a program; unlike dynamic types introduced to C# 4.0, however, our type system allows for more seamless integration of dynamically and statically typed code.We formalize a gradual type system for Featherweight GJ with a semantics given by a translation that inserts explicit run-time checks. The type system guarantees that statically typed parts of a program do not go wrong, even if it includes dynamically typed parts. We also describe a basic implementation scheme for Java and report preliminary performance evaluation." @default.
- W2079482913 created "2016-06-24" @default.
- W2079482913 creator A5003721718 @default.
- W2079482913 creator A5055835936 @default.
- W2079482913 date "2011-01-01" @default.
- W2079482913 modified "2023-09-23" @default.
- W2079482913 title "Gradual typing for generics" @default.
- W2079482913 cites W1527327679 @default.
- W2079482913 cites W1538858001 @default.
- W2079482913 cites W1562991736 @default.
- W2079482913 cites W1568983194 @default.
- W2079482913 cites W1614627710 @default.
- W2079482913 cites W1968327162 @default.
- W2079482913 cites W1973850299 @default.
- W2079482913 cites W1980939032 @default.
- W2079482913 cites W1983256770 @default.
- W2079482913 cites W1987203566 @default.
- W2079482913 cites W1993140586 @default.
- W2079482913 cites W1995008247 @default.
- W2079482913 cites W2033348393 @default.
- W2079482913 cites W2034570406 @default.
- W2079482913 cites W2069454490 @default.
- W2079482913 cites W2102978864 @default.
- W2079482913 cites W2103240295 @default.
- W2079482913 cites W2111531191 @default.
- W2079482913 cites W2123357908 @default.
- W2079482913 cites W2127402358 @default.
- W2079482913 cites W2128303158 @default.
- W2079482913 cites W2128496924 @default.
- W2079482913 cites W2133546079 @default.
- W2079482913 cites W2134720688 @default.
- W2079482913 cites W2135536553 @default.
- W2079482913 cites W2137417304 @default.
- W2079482913 cites W2141210774 @default.
- W2079482913 cites W2150998213 @default.
- W2079482913 cites W2156249516 @default.
- W2079482913 cites W2165046128 @default.
- W2079482913 cites W2171747309 @default.
- W2079482913 cites W2293770661 @default.
- W2079482913 cites W2338918733 @default.
- W2079482913 cites W2529742209 @default.
- W2079482913 cites W2796564118 @default.
- W2079482913 cites W2912351643 @default.
- W2079482913 cites W2912880222 @default.
- W2079482913 cites W3137596000 @default.
- W2079482913 doi "https://doi.org/10.1145/2048066.2048114" @default.
- W2079482913 hasPublicationYear "2011" @default.
- W2079482913 type Work @default.
- W2079482913 sameAs 2079482913 @default.
- W2079482913 citedByCount "35" @default.
- W2079482913 countsByYear W20794829132012 @default.
- W2079482913 countsByYear W20794829132013 @default.
- W2079482913 countsByYear W20794829132014 @default.
- W2079482913 countsByYear W20794829132015 @default.
- W2079482913 countsByYear W20794829132016 @default.
- W2079482913 countsByYear W20794829132017 @default.
- W2079482913 countsByYear W20794829132018 @default.
- W2079482913 countsByYear W20794829132019 @default.
- W2079482913 countsByYear W20794829132020 @default.
- W2079482913 countsByYear W20794829132021 @default.
- W2079482913 countsByYear W20794829132022 @default.
- W2079482913 countsByYear W20794829132023 @default.
- W2079482913 crossrefType "proceedings-article" @default.
- W2079482913 hasAuthorship W2079482913A5003721718 @default.
- W2079482913 hasAuthorship W2079482913A5055835936 @default.
- W2079482913 hasConcept C2781209916 @default.
- W2079482913 hasConcept C28490314 @default.
- W2079482913 hasConcept C41008148 @default.
- W2079482913 hasConceptScore W2079482913C2781209916 @default.
- W2079482913 hasConceptScore W2079482913C28490314 @default.
- W2079482913 hasConceptScore W2079482913C41008148 @default.
- W2079482913 hasLocation W20794829131 @default.
- W2079482913 hasOpenAccess W2079482913 @default.
- W2079482913 hasPrimaryLocation W20794829131 @default.
- W2079482913 hasRelatedWork W1606200072 @default.
- W2079482913 hasRelatedWork W1979674660 @default.
- W2079482913 hasRelatedWork W2040397198 @default.
- W2079482913 hasRelatedWork W2093578348 @default.
- W2079482913 hasRelatedWork W2358668433 @default.
- W2079482913 hasRelatedWork W2376932109 @default.
- W2079482913 hasRelatedWork W2390279801 @default.
- W2079482913 hasRelatedWork W2748952813 @default.
- W2079482913 hasRelatedWork W2899084033 @default.
- W2079482913 hasRelatedWork W3176169626 @default.
- W2079482913 isParatext "false" @default.
- W2079482913 isRetracted "false" @default.
- W2079482913 magId "2079482913" @default.
- W2079482913 workType "article" @default.