Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983256770> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1983256770 abstract "We present a new approach to dynamic typing in a static framework. Our main innovation is the use of structural subtyping for dynamic types based on the idea that possible dynamic typing as a property should be inherited by objects of all types. Two properties of our system set it apart from existing systems which combine static and dynamic typing: all tagging and checking takes place via implicit coercions, and the semantics of dynamic typing is representation independent. The latter property leads to a significant increase in expressive power—for instance it allows us to define a general call-by-value fixpoint operator.The resulting system—which we call quasi-static typing—is a seamless merger of static and dynamic typing. The system divides programs into three categories: well-typed, ill-typed and ambivalent programs. Ill-typed programs contain expressions that are guaranteed to go wrong. Run-time checking is limited to doubtful function applications in ambivalent programs. Conceptually, quasi-static typing takes place in an unusual two-phase process—a first phase infers types and coercions and a second plausibility checking phase identifies ill-typed programs. The typing rules allow minimal typing judgements and plausibility checking can be characterized as simplification via a canonical set of rewrite rules. The two phase process can therefore be implemented with a one pass algorithm." @default.
- W1983256770 created "2016-06-24" @default.
- W1983256770 creator A5034934804 @default.
- W1983256770 date "1990-01-01" @default.
- W1983256770 modified "2023-10-17" @default.
- W1983256770 title "Quasi-static typing" @default.
- W1983256770 cites W1487768293 @default.
- W1983256770 cites W1762668282 @default.
- W1983256770 cites W1979101142 @default.
- W1983256770 cites W2023478976 @default.
- W1983256770 cites W2027657506 @default.
- W1983256770 cites W2104216136 @default.
- W1983256770 cites W2151614365 @default.
- W1983256770 cites W2160516176 @default.
- W1983256770 cites W2184268586 @default.
- W1983256770 cites W2411369279 @default.
- W1983256770 doi "https://doi.org/10.1145/96709.96747" @default.
- W1983256770 hasPublicationYear "1990" @default.
- W1983256770 type Work @default.
- W1983256770 sameAs 1983256770 @default.
- W1983256770 citedByCount "74" @default.
- W1983256770 countsByYear W19832567702012 @default.
- W1983256770 countsByYear W19832567702013 @default.
- W1983256770 countsByYear W19832567702014 @default.
- W1983256770 countsByYear W19832567702015 @default.
- W1983256770 countsByYear W19832567702016 @default.
- W1983256770 countsByYear W19832567702017 @default.
- W1983256770 countsByYear W19832567702018 @default.
- W1983256770 countsByYear W19832567702019 @default.
- W1983256770 countsByYear W19832567702021 @default.
- W1983256770 crossrefType "proceedings-article" @default.
- W1983256770 hasAuthorship W1983256770A5034934804 @default.
- W1983256770 hasConcept C2781209916 @default.
- W1983256770 hasConcept C28490314 @default.
- W1983256770 hasConcept C41008148 @default.
- W1983256770 hasConceptScore W1983256770C2781209916 @default.
- W1983256770 hasConceptScore W1983256770C28490314 @default.
- W1983256770 hasConceptScore W1983256770C41008148 @default.
- W1983256770 hasLocation W19832567701 @default.
- W1983256770 hasOpenAccess W1983256770 @default.
- W1983256770 hasPrimaryLocation W19832567701 @default.
- W1983256770 hasRelatedWork W1606200072 @default.
- W1983256770 hasRelatedWork W1979674660 @default.
- W1983256770 hasRelatedWork W1981020211 @default.
- W1983256770 hasRelatedWork W2013429256 @default.
- W1983256770 hasRelatedWork W2358668433 @default.
- W1983256770 hasRelatedWork W2376932109 @default.
- W1983256770 hasRelatedWork W2390279801 @default.
- W1983256770 hasRelatedWork W2748952813 @default.
- W1983256770 hasRelatedWork W2899084033 @default.
- W1983256770 hasRelatedWork W3176169626 @default.
- W1983256770 isParatext "false" @default.
- W1983256770 isRetracted "false" @default.
- W1983256770 magId "1983256770" @default.
- W1983256770 workType "article" @default.