FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2586829215> ?p ?o ?g. }

• W2586829215 endingPage "36" @default.
• W2586829215 startingPage "1" @default.
• W2586829215 abstract "Manifest contracts track precise program properties by refining types with predicates—for example, { x :Int∣ x > 0} denotes the positive integers. Contracts and polymorphism make a natural combination: programmers can give strong contracts to abstract types, precisely stating pre- and post conditions while hiding implementation details— for instance, an abstract type of stacks might specify that the pop operation has input type { x :α Stack ∣ not (empty x )}. This article studies a polymorphic calculus with manifest contracts and establishes fundamental properties including type soundness and relational parametricity. Indeed, this is not the first work on polymorphic manifest contracts, but existing calculi are not very satisfactory. Gronski et al. developed the S age language, which introduces polymorphism through the Type:Type discipline, but they do not study parametricity. Some authors of this article have produced two separate works: Belo et al. [2011] and Greenberg [2013] studied polymorphic manifest contracts and parametricity, but their calculi have metatheoretical problems in the type conversion relations. Indeed, they depend on a few conjectures, which turn out to be false. Our calculus is the first polymorphic manifest calculus with parametricity, depending on no conjectures—it resolves the issues in prior calculi with delayed substitution on casts." @default.
• W2586829215 created "2017-02-17" @default.
• W2586829215 creator A5018002187 @default.
• W2586829215 creator A5055835936 @default.
• W2586829215 creator A5075185353 @default.
• W2586829215 date "2017-02-06" @default.
• W2586829215 modified "2023-10-17" @default.
• W2586829215 title "Polymorphic Manifest Contracts, Revised and Resolved" @default.
• W2586829215 cites W1502282368 @default.
• W2586829215 cites W1508098446 @default.
• W2586829215 cites W1614627710 @default.
• W2586829215 cites W1974190112 @default.
• W2586829215 cites W1980939032 @default.
• W2586829215 cites W1984514567 @default.
• W2586829215 cites W1984807151 @default.
• W2586829215 cites W1986188859 @default.
• W2586829215 cites W2003969655 @default.
• W2586829215 cites W2005192022 @default.
• W2586829215 cites W2027189949 @default.
• W2586829215 cites W2032687731 @default.
• W2586829215 cites W2052973434 @default.
• W2586829215 cites W2057292961 @default.
• W2586829215 cites W2060029146 @default.
• W2586829215 cites W2061127958 @default.
• W2586829215 cites W2073686054 @default.
• W2586829215 cites W2075981791 @default.
• W2586829215 cites W2087828835 @default.
• W2586829215 cites W2096368963 @default.
• W2586829215 cites W2097959001 @default.
• W2586829215 cites W2100759424 @default.
• W2586829215 cites W2101085206 @default.
• W2586829215 cites W2104216136 @default.
• W2586829215 cites W2109772966 @default.
• W2586829215 cites W2112121519 @default.
• W2586829215 cites W2128303158 @default.
• W2586829215 cites W2135322712 @default.
• W2586829215 cites W2141210774 @default.
• W2586829215 cites W2144160229 @default.
• W2586829215 cites W2149412346 @default.
• W2586829215 cites W2149469095 @default.
• W2586829215 cites W2150998213 @default.
• W2586829215 cites W2151716725 @default.
• W2586829215 cites W2160241785 @default.
• W2586829215 cites W2273111921 @default.
• W2586829215 cites W2295923951 @default.
• W2586829215 cites W2610831210 @default.
• W2586829215 cites W2987907651 @default.
• W2586829215 cites W3099703838 @default.
• W2586829215 cites W3163012639 @default.
• W2586829215 cites W4236324644 @default.
• W2586829215 doi "https://doi.org/10.1145/2994594" @default.
• W2586829215 hasPublicationYear "2017" @default.
• W2586829215 type Work @default.
• W2586829215 sameAs 2586829215 @default.
• W2586829215 citedByCount "11" @default.
• W2586829215 countsByYear W25868292152016 @default.
• W2586829215 countsByYear W25868292152017 @default.
• W2586829215 countsByYear W25868292152018 @default.
• W2586829215 countsByYear W25868292152019 @default.
• W2586829215 countsByYear W25868292152021 @default.
• W2586829215 countsByYear W25868292152022 @default.
• W2586829215 crossrefType "journal-article" @default.
• W2586829215 hasAuthorship W2586829215A5018002187 @default.
• W2586829215 hasAuthorship W2586829215A5055835936 @default.
• W2586829215 hasAuthorship W2586829215A5075185353 @default.
• W2586829215 hasConcept C11413529 @default.
• W2586829215 hasConcept C135790938 @default.
• W2586829215 hasConcept C18903297 @default.
• W2586829215 hasConcept C199343813 @default.
• W2586829215 hasConcept C199360897 @default.
• W2586829215 hasConcept C20528804 @default.
• W2586829215 hasConcept C2777299769 @default.
• W2586829215 hasConcept C2777686260 @default.
• W2586829215 hasConcept C39920170 @default.
• W2586829215 hasConcept C41008148 @default.
• W2586829215 hasConcept C71924100 @default.
• W2586829215 hasConcept C80444323 @default.
• W2586829215 hasConcept C86803240 @default.
• W2586829215 hasConcept C93682546 @default.
• W2586829215 hasConceptScore W2586829215C11413529 @default.
• W2586829215 hasConceptScore W2586829215C135790938 @default.
• W2586829215 hasConceptScore W2586829215C18903297 @default.
• W2586829215 hasConceptScore W2586829215C199343813 @default.
• W2586829215 hasConceptScore W2586829215C199360897 @default.
• W2586829215 hasConceptScore W2586829215C20528804 @default.
• W2586829215 hasConceptScore W2586829215C2777299769 @default.
• W2586829215 hasConceptScore W2586829215C2777686260 @default.
• W2586829215 hasConceptScore W2586829215C39920170 @default.
• W2586829215 hasConceptScore W2586829215C41008148 @default.
• W2586829215 hasConceptScore W2586829215C71924100 @default.
• W2586829215 hasConceptScore W2586829215C80444323 @default.
• W2586829215 hasConceptScore W2586829215C86803240 @default.
• W2586829215 hasConceptScore W2586829215C93682546 @default.
• W2586829215 hasIssue "1" @default.
• W2586829215 hasLocation W25868292151 @default.
• W2586829215 hasOpenAccess W2586829215 @default.
• W2586829215 hasPrimaryLocation W25868292151 @default.
• W2586829215 hasRelatedWork W167390183 @default.

• next