Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016226915> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2016226915 abstract "Index refinements (or dependent types over a restricted domain) enable the expression of many desirable invariants that can be verified at compile time. We propose to incorporate a system of index refinements in a small, class-based, imperative, object-oriented language. While rooted in techniques formulated for dependently-typed functional languages, our type system is able to capture more than just value properties and pure computations. Index refinements, combined with a notion of pre- and post-type to track state, give programmers the ability to reason about effectful computations. Our type system distinguishes between two classes of objects, imposing an affine discipline to objects whose types are governed by indices, as opposed to conventional objects which can be freely shared. We have designed and implemented an expressive and decidable type system, which we illustrate through a number of examples." @default.
- W2016226915 created "2016-06-24" @default.
- W2016226915 creator A5016342119 @default.
- W2016226915 creator A5040099871 @default.
- W2016226915 date "2015-07-07" @default.
- W2016226915 modified "2023-09-27" @default.
- W2016226915 title "Imperative objects with dependent types" @default.
- W2016226915 cites W1553136405 @default.
- W2016226915 cites W1578634556 @default.
- W2016226915 cites W1959256509 @default.
- W2016226915 cites W1990409169 @default.
- W2016226915 cites W2005192022 @default.
- W2016226915 cites W2027584005 @default.
- W2016226915 cites W2033348393 @default.
- W2016226915 cites W2127053650 @default.
- W2016226915 cites W2145108549 @default.
- W2016226915 cites W2911227993 @default.
- W2016226915 doi "https://doi.org/10.1145/2786536.2786538" @default.
- W2016226915 hasPublicationYear "2015" @default.
- W2016226915 type Work @default.
- W2016226915 sameAs 2016226915 @default.
- W2016226915 citedByCount "2" @default.
- W2016226915 countsByYear W20162269152017 @default.
- W2016226915 countsByYear W20162269152018 @default.
- W2016226915 crossrefType "proceedings-article" @default.
- W2016226915 hasAuthorship W2016226915A5016342119 @default.
- W2016226915 hasAuthorship W2016226915A5040099871 @default.
- W2016226915 hasConcept C134306372 @default.
- W2016226915 hasConcept C135790938 @default.
- W2016226915 hasConcept C153269930 @default.
- W2016226915 hasConcept C154945302 @default.
- W2016226915 hasConcept C169590947 @default.
- W2016226915 hasConcept C18903297 @default.
- W2016226915 hasConcept C198370458 @default.
- W2016226915 hasConcept C199360897 @default.
- W2016226915 hasConcept C200833197 @default.
- W2016226915 hasConcept C202444582 @default.
- W2016226915 hasConcept C20528804 @default.
- W2016226915 hasConcept C2776214188 @default.
- W2016226915 hasConcept C2777212361 @default.
- W2016226915 hasConcept C2777299769 @default.
- W2016226915 hasConcept C2777382242 @default.
- W2016226915 hasConcept C2781238097 @default.
- W2016226915 hasConcept C33923547 @default.
- W2016226915 hasConcept C36503486 @default.
- W2016226915 hasConcept C41008148 @default.
- W2016226915 hasConcept C44779574 @default.
- W2016226915 hasConcept C45374587 @default.
- W2016226915 hasConcept C80444323 @default.
- W2016226915 hasConcept C86803240 @default.
- W2016226915 hasConcept C92757383 @default.
- W2016226915 hasConcept C93682546 @default.
- W2016226915 hasConceptScore W2016226915C134306372 @default.
- W2016226915 hasConceptScore W2016226915C135790938 @default.
- W2016226915 hasConceptScore W2016226915C153269930 @default.
- W2016226915 hasConceptScore W2016226915C154945302 @default.
- W2016226915 hasConceptScore W2016226915C169590947 @default.
- W2016226915 hasConceptScore W2016226915C18903297 @default.
- W2016226915 hasConceptScore W2016226915C198370458 @default.
- W2016226915 hasConceptScore W2016226915C199360897 @default.
- W2016226915 hasConceptScore W2016226915C200833197 @default.
- W2016226915 hasConceptScore W2016226915C202444582 @default.
- W2016226915 hasConceptScore W2016226915C20528804 @default.
- W2016226915 hasConceptScore W2016226915C2776214188 @default.
- W2016226915 hasConceptScore W2016226915C2777212361 @default.
- W2016226915 hasConceptScore W2016226915C2777299769 @default.
- W2016226915 hasConceptScore W2016226915C2777382242 @default.
- W2016226915 hasConceptScore W2016226915C2781238097 @default.
- W2016226915 hasConceptScore W2016226915C33923547 @default.
- W2016226915 hasConceptScore W2016226915C36503486 @default.
- W2016226915 hasConceptScore W2016226915C41008148 @default.
- W2016226915 hasConceptScore W2016226915C44779574 @default.
- W2016226915 hasConceptScore W2016226915C45374587 @default.
- W2016226915 hasConceptScore W2016226915C80444323 @default.
- W2016226915 hasConceptScore W2016226915C86803240 @default.
- W2016226915 hasConceptScore W2016226915C92757383 @default.
- W2016226915 hasConceptScore W2016226915C93682546 @default.
- W2016226915 hasLocation W20162269151 @default.
- W2016226915 hasOpenAccess W2016226915 @default.
- W2016226915 hasPrimaryLocation W20162269151 @default.
- W2016226915 hasRelatedWork W1479802504 @default.
- W2016226915 hasRelatedWork W1496535287 @default.
- W2016226915 hasRelatedWork W1827112781 @default.
- W2016226915 hasRelatedWork W2037439718 @default.
- W2016226915 hasRelatedWork W2071961456 @default.
- W2016226915 hasRelatedWork W2079257063 @default.
- W2016226915 hasRelatedWork W2114705282 @default.
- W2016226915 hasRelatedWork W2170069181 @default.
- W2016226915 hasRelatedWork W2432956223 @default.
- W2016226915 hasRelatedWork W3098470576 @default.
- W2016226915 isParatext "false" @default.
- W2016226915 isRetracted "false" @default.
- W2016226915 magId "2016226915" @default.
- W2016226915 workType "article" @default.