Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014080566> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2014080566 abstract "Ownership types and Universe types are two type systems used to structure the heap and enforce encapsulation disciplines. The parametricity of ownership types allows a finergrained description of heap topologies, whereas the flexibility of any references in Universe types allows sharing between data structures. No direct encoding of one type system in the other has been possible.Parametric ownership has recently been extended with existential quantification of contexts. We formalise such a language and give a formal translation between programs written in this language and using Universe types. We show that this translation is sound and complete." @default.
- W2014080566 created "2016-06-24" @default.
- W2014080566 creator A5001622594 @default.
- W2014080566 creator A5073449487 @default.
- W2014080566 date "2009-07-06" @default.
- W2014080566 modified "2023-09-28" @default.
- W2014080566 title "Comparing universes and existential ownership types" @default.
- W2014080566 cites W1489834477 @default.
- W2014080566 cites W1556327758 @default.
- W2014080566 cites W1558128491 @default.
- W2014080566 cites W1589143006 @default.
- W2014080566 cites W1675700398 @default.
- W2014080566 cites W1978303100 @default.
- W2014080566 cites W2010088035 @default.
- W2014080566 cites W2013368693 @default.
- W2014080566 cites W2033348393 @default.
- W2014080566 cites W2052087935 @default.
- W2014080566 cites W2073407646 @default.
- W2014080566 cites W2103591546 @default.
- W2014080566 cites W2122291521 @default.
- W2014080566 cites W2138652462 @default.
- W2014080566 cites W2144519235 @default.
- W2014080566 cites W2156428492 @default.
- W2014080566 cites W2171747309 @default.
- W2014080566 cites W2295118110 @default.
- W2014080566 cites W4238698576 @default.
- W2014080566 cites W4253644677 @default.
- W2014080566 doi "https://doi.org/10.1145/1562154.1562163" @default.
- W2014080566 hasPublicationYear "2009" @default.
- W2014080566 type Work @default.
- W2014080566 sameAs 2014080566 @default.
- W2014080566 citedByCount "4" @default.
- W2014080566 countsByYear W20140805662013 @default.
- W2014080566 crossrefType "proceedings-article" @default.
- W2014080566 hasAuthorship W2014080566A5001622594 @default.
- W2014080566 hasAuthorship W2014080566A5073449487 @default.
- W2014080566 hasBestOaLocation W20140805662 @default.
- W2014080566 hasConcept C111472728 @default.
- W2014080566 hasConcept C127882523 @default.
- W2014080566 hasConcept C138885662 @default.
- W2014080566 hasConcept C41008148 @default.
- W2014080566 hasConceptScore W2014080566C111472728 @default.
- W2014080566 hasConceptScore W2014080566C127882523 @default.
- W2014080566 hasConceptScore W2014080566C138885662 @default.
- W2014080566 hasConceptScore W2014080566C41008148 @default.
- W2014080566 hasLocation W20140805661 @default.
- W2014080566 hasLocation W20140805662 @default.
- W2014080566 hasOpenAccess W2014080566 @default.
- W2014080566 hasPrimaryLocation W20140805661 @default.
- W2014080566 hasRelatedWork W2015123686 @default.
- W2014080566 hasRelatedWork W2130913958 @default.
- W2014080566 hasRelatedWork W2384414339 @default.
- W2014080566 hasRelatedWork W2408088984 @default.
- W2014080566 hasRelatedWork W2464819693 @default.
- W2014080566 hasRelatedWork W2795763337 @default.
- W2014080566 hasRelatedWork W2892765057 @default.
- W2014080566 hasRelatedWork W2954979853 @default.
- W2014080566 hasRelatedWork W3040899565 @default.
- W2014080566 hasRelatedWork W3152011044 @default.
- W2014080566 isParatext "false" @default.
- W2014080566 isRetracted "false" @default.
- W2014080566 magId "2014080566" @default.
- W2014080566 workType "article" @default.