Matches in SemOpenAlex for { <https://semopenalex.org/work/W822411571> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W822411571 abstract "Well-known techniques exist for proving the soundness of subtyping relations with respect to type safety. However, completeness has not been treated with widely applicable techniques, as far as we are aware. This paper develops some techniques for stating and proving that a subtyping relation is complete with respect to type safety and applies the techniques to the study of iso-recursive subtyping. The common subtyping rules for iso-recursive types—the “Amber rules”—are shown to be incomplete with respect to type safety. That is, there exist iso-recursive types 1 and 2 such that 1 can safely be considered a subtype of 2, but 1 2 is not derivable with the Amber rules. This paper defines new, algorithmic rules for subtyping isorecursive types and proves that the rules are sound and complete with respect to type safety." @default.
- W822411571 created "2016-06-24" @default.
- W822411571 creator A5052381671 @default.
- W822411571 creator A5071104685 @default.
- W822411571 creator A5073432398 @default.
- W822411571 creator A5074304913 @default.
- W822411571 date "2012-01-01" @default.
- W822411571 modified "2023-09-27" @default.
- W822411571 title "Completely Subtyping Iso-recursive Types" @default.
- W822411571 cites W1548627669 @default.
- W822411571 cites W1557561422 @default.
- W822411571 cites W1589260337 @default.
- W822411571 cites W1590106610 @default.
- W822411571 cites W1594130176 @default.
- W822411571 cites W1760139041 @default.
- W822411571 cites W1976571588 @default.
- W822411571 cites W1978680769 @default.
- W822411571 cites W1995008247 @default.
- W822411571 cites W2036961426 @default.
- W822411571 cites W2047170808 @default.
- W822411571 cites W2118229393 @default.
- W822411571 cites W2123727486 @default.
- W822411571 cites W2131770667 @default.
- W822411571 cites W2137402267 @default.
- W822411571 cites W2140339738 @default.
- W822411571 cites W2146968733 @default.
- W822411571 cites W2153060956 @default.
- W822411571 cites W2155209389 @default.
- W822411571 cites W2484298212 @default.
- W822411571 hasPublicationYear "2012" @default.
- W822411571 type Work @default.
- W822411571 sameAs 822411571 @default.
- W822411571 citedByCount "3" @default.
- W822411571 countsByYear W8224115712012 @default.
- W822411571 countsByYear W8224115712014 @default.
- W822411571 countsByYear W8224115712021 @default.
- W822411571 crossrefType "journal-article" @default.
- W822411571 hasAuthorship W822411571A5052381671 @default.
- W822411571 hasAuthorship W822411571A5071104685 @default.
- W822411571 hasAuthorship W822411571A5073432398 @default.
- W822411571 hasAuthorship W822411571A5074304913 @default.
- W822411571 hasConcept C124101348 @default.
- W822411571 hasConcept C134306372 @default.
- W822411571 hasConcept C17231256 @default.
- W822411571 hasConcept C18903297 @default.
- W822411571 hasConcept C199360897 @default.
- W822411571 hasConcept C25343380 @default.
- W822411571 hasConcept C2777299769 @default.
- W822411571 hasConcept C33923547 @default.
- W822411571 hasConcept C39920170 @default.
- W822411571 hasConcept C41008148 @default.
- W822411571 hasConcept C44779574 @default.
- W822411571 hasConcept C80444323 @default.
- W822411571 hasConcept C83852419 @default.
- W822411571 hasConcept C86803240 @default.
- W822411571 hasConceptScore W822411571C124101348 @default.
- W822411571 hasConceptScore W822411571C134306372 @default.
- W822411571 hasConceptScore W822411571C17231256 @default.
- W822411571 hasConceptScore W822411571C18903297 @default.
- W822411571 hasConceptScore W822411571C199360897 @default.
- W822411571 hasConceptScore W822411571C25343380 @default.
- W822411571 hasConceptScore W822411571C2777299769 @default.
- W822411571 hasConceptScore W822411571C33923547 @default.
- W822411571 hasConceptScore W822411571C39920170 @default.
- W822411571 hasConceptScore W822411571C41008148 @default.
- W822411571 hasConceptScore W822411571C44779574 @default.
- W822411571 hasConceptScore W822411571C80444323 @default.
- W822411571 hasConceptScore W822411571C83852419 @default.
- W822411571 hasConceptScore W822411571C86803240 @default.
- W822411571 hasLocation W8224115711 @default.
- W822411571 hasOpenAccess W822411571 @default.
- W822411571 hasPrimaryLocation W8224115711 @default.
- W822411571 hasRelatedWork W180937721 @default.
- W822411571 hasRelatedWork W1980630602 @default.
- W822411571 hasRelatedWork W1993237902 @default.
- W822411571 hasRelatedWork W2023127104 @default.
- W822411571 hasRelatedWork W2081965580 @default.
- W822411571 hasRelatedWork W2165541003 @default.
- W822411571 hasRelatedWork W2296293111 @default.
- W822411571 hasRelatedWork W2563592207 @default.
- W822411571 hasRelatedWork W2593125519 @default.
- W822411571 hasRelatedWork W2738349545 @default.
- W822411571 hasRelatedWork W2761821266 @default.
- W822411571 hasRelatedWork W2799110842 @default.
- W822411571 hasRelatedWork W282653980 @default.
- W822411571 hasRelatedWork W2947413158 @default.
- W822411571 hasRelatedWork W3007982376 @default.
- W822411571 hasRelatedWork W3106544059 @default.
- W822411571 hasRelatedWork W3106786378 @default.
- W822411571 hasRelatedWork W3106947374 @default.
- W822411571 hasRelatedWork W3147892619 @default.
- W822411571 hasRelatedWork W402690324 @default.
- W822411571 isParatext "false" @default.
- W822411571 isRetracted "false" @default.
- W822411571 magId "822411571" @default.
- W822411571 workType "article" @default.