Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384163618> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4384163618 abstract "We present FJ&λ⋆, a new core calculus that extends Featherweight Java (FJ) with interfaces, λ-expressions, intersection types and a form of dynamic type. Intersection types can be used anywhere, in particular to specify target types of λ-expressions. The dynamic type is exploited to specify parts of the class tables and programs we want to exclude temporarily from static typing. Our main result is the gradual guarantee, which says that if a program is well typed in a class table, then replacing type annotations (from the program and from the class table) with the dynamic type always produces a program that is still well typed in the obtained class table. Furthermore, if a typed program evaluates to a value in a class table, then replacing type annotations with dynamic types always produces a program that evaluates to the same value in the obtained class table." @default.
- W4384163618 created "2023-07-14" @default.
- W4384163618 creator A5009045296 @default.
- W4384163618 creator A5053585862 @default.
- W4384163618 creator A5058251351 @default.
- W4384163618 creator A5075230989 @default.
- W4384163618 date "2023-07-18" @default.
- W4384163618 modified "2023-09-25" @default.
- W4384163618 title "Gradual Guarantee for FJ with lambda-Expressions" @default.
- W4384163618 cites W2003969655 @default.
- W4384163618 cites W2033348393 @default.
- W4384163618 cites W2079482913 @default.
- W4384163618 cites W2100759424 @default.
- W4384163618 cites W2284690928 @default.
- W4384163618 cites W2955905403 @default.
- W4384163618 cites W3137596000 @default.
- W4384163618 doi "https://doi.org/10.1145/3605156.3606453" @default.
- W4384163618 hasPublicationYear "2023" @default.
- W4384163618 type Work @default.
- W4384163618 citedByCount "0" @default.
- W4384163618 crossrefType "proceedings-article" @default.
- W4384163618 hasAuthorship W4384163618A5009045296 @default.
- W4384163618 hasAuthorship W4384163618A5053585862 @default.
- W4384163618 hasAuthorship W4384163618A5058251351 @default.
- W4384163618 hasAuthorship W4384163618A5075230989 @default.
- W4384163618 hasConcept C127413603 @default.
- W4384163618 hasConcept C135790938 @default.
- W4384163618 hasConcept C142156749 @default.
- W4384163618 hasConcept C146978453 @default.
- W4384163618 hasConcept C154945302 @default.
- W4384163618 hasConcept C18903297 @default.
- W4384163618 hasConcept C199360897 @default.
- W4384163618 hasConcept C2164484 @default.
- W4384163618 hasConcept C2777212361 @default.
- W4384163618 hasConcept C2777299769 @default.
- W4384163618 hasConcept C41008148 @default.
- W4384163618 hasConcept C44779574 @default.
- W4384163618 hasConcept C45235069 @default.
- W4384163618 hasConcept C548217200 @default.
- W4384163618 hasConcept C61237538 @default.
- W4384163618 hasConcept C64543145 @default.
- W4384163618 hasConcept C76155785 @default.
- W4384163618 hasConcept C77088390 @default.
- W4384163618 hasConcept C80444323 @default.
- W4384163618 hasConcept C86803240 @default.
- W4384163618 hasConceptScore W4384163618C127413603 @default.
- W4384163618 hasConceptScore W4384163618C135790938 @default.
- W4384163618 hasConceptScore W4384163618C142156749 @default.
- W4384163618 hasConceptScore W4384163618C146978453 @default.
- W4384163618 hasConceptScore W4384163618C154945302 @default.
- W4384163618 hasConceptScore W4384163618C18903297 @default.
- W4384163618 hasConceptScore W4384163618C199360897 @default.
- W4384163618 hasConceptScore W4384163618C2164484 @default.
- W4384163618 hasConceptScore W4384163618C2777212361 @default.
- W4384163618 hasConceptScore W4384163618C2777299769 @default.
- W4384163618 hasConceptScore W4384163618C41008148 @default.
- W4384163618 hasConceptScore W4384163618C44779574 @default.
- W4384163618 hasConceptScore W4384163618C45235069 @default.
- W4384163618 hasConceptScore W4384163618C548217200 @default.
- W4384163618 hasConceptScore W4384163618C61237538 @default.
- W4384163618 hasConceptScore W4384163618C64543145 @default.
- W4384163618 hasConceptScore W4384163618C76155785 @default.
- W4384163618 hasConceptScore W4384163618C77088390 @default.
- W4384163618 hasConceptScore W4384163618C80444323 @default.
- W4384163618 hasConceptScore W4384163618C86803240 @default.
- W4384163618 hasLocation W43841636181 @default.
- W4384163618 hasOpenAccess W4384163618 @default.
- W4384163618 hasPrimaryLocation W43841636181 @default.
- W4384163618 hasRelatedWork W1592799753 @default.
- W4384163618 hasRelatedWork W1976792137 @default.
- W4384163618 hasRelatedWork W2003295197 @default.
- W4384163618 hasRelatedWork W2020524830 @default.
- W4384163618 hasRelatedWork W2125333933 @default.
- W4384163618 hasRelatedWork W2372895414 @default.
- W4384163618 hasRelatedWork W334235616 @default.
- W4384163618 hasRelatedWork W4310506150 @default.
- W4384163618 hasRelatedWork W2528467228 @default.
- W4384163618 hasRelatedWork W3021962464 @default.
- W4384163618 isParatext "false" @default.
- W4384163618 isRetracted "false" @default.
- W4384163618 workType "article" @default.