Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312091954> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4312091954 abstract "The specifics of data layout can be important for the efficiency of functional programs and interaction with external libraries. In this paper, we develop a type-theoretic approach to data layout that could be used as a typed intermediate language in a compiler or to give a programmer more control. Our starting point is a computational interpretation of the semi-axiomatic sequent calculus for intuitionistic logic that defines abstract notions of cells and addresses. We refine this semantics so addresses have more structure to reflect possible alternative layouts without fundamentally departing from intuitionistic logic. We then add recursive types and explore example programs and properties of the resulting language. This document is an extended version of an invited paper that appeared at MFPS 2022; additional proofs are included here." @default.
- W4312091954 created "2023-01-04" @default.
- W4312091954 creator A5021476649 @default.
- W4312091954 creator A5084028410 @default.
- W4312091954 date "2022-12-12" @default.
- W4312091954 modified "2023-10-14" @default.
- W4312091954 title "Data Layout from a Type-Theoretic Perspective (extended version)" @default.
- W4312091954 doi "https://doi.org/10.48550/arxiv.2212.06321" @default.
- W4312091954 hasPublicationYear "2022" @default.
- W4312091954 type Work @default.
- W4312091954 citedByCount "0" @default.
- W4312091954 crossrefType "posted-content" @default.
- W4312091954 hasAuthorship W4312091954A5021476649 @default.
- W4312091954 hasAuthorship W4312091954A5084028410 @default.
- W4312091954 hasBestOaLocation W43120919541 @default.
- W4312091954 hasConcept C108710211 @default.
- W4312091954 hasConcept C12713177 @default.
- W4312091954 hasConcept C135790938 @default.
- W4312091954 hasConcept C138958017 @default.
- W4312091954 hasConcept C154945302 @default.
- W4312091954 hasConcept C167729594 @default.
- W4312091954 hasConcept C168773036 @default.
- W4312091954 hasConcept C169590947 @default.
- W4312091954 hasConcept C18903297 @default.
- W4312091954 hasConcept C199360897 @default.
- W4312091954 hasConcept C20528804 @default.
- W4312091954 hasConcept C2524010 @default.
- W4312091954 hasConcept C2777299769 @default.
- W4312091954 hasConcept C2778514511 @default.
- W4312091954 hasConcept C2778701210 @default.
- W4312091954 hasConcept C33923547 @default.
- W4312091954 hasConcept C41008148 @default.
- W4312091954 hasConcept C65880906 @default.
- W4312091954 hasConcept C80444323 @default.
- W4312091954 hasConcept C86803240 @default.
- W4312091954 hasConcept C89421646 @default.
- W4312091954 hasConcept C93682546 @default.
- W4312091954 hasConcept C98045186 @default.
- W4312091954 hasConceptScore W4312091954C108710211 @default.
- W4312091954 hasConceptScore W4312091954C12713177 @default.
- W4312091954 hasConceptScore W4312091954C135790938 @default.
- W4312091954 hasConceptScore W4312091954C138958017 @default.
- W4312091954 hasConceptScore W4312091954C154945302 @default.
- W4312091954 hasConceptScore W4312091954C167729594 @default.
- W4312091954 hasConceptScore W4312091954C168773036 @default.
- W4312091954 hasConceptScore W4312091954C169590947 @default.
- W4312091954 hasConceptScore W4312091954C18903297 @default.
- W4312091954 hasConceptScore W4312091954C199360897 @default.
- W4312091954 hasConceptScore W4312091954C20528804 @default.
- W4312091954 hasConceptScore W4312091954C2524010 @default.
- W4312091954 hasConceptScore W4312091954C2777299769 @default.
- W4312091954 hasConceptScore W4312091954C2778514511 @default.
- W4312091954 hasConceptScore W4312091954C2778701210 @default.
- W4312091954 hasConceptScore W4312091954C33923547 @default.
- W4312091954 hasConceptScore W4312091954C41008148 @default.
- W4312091954 hasConceptScore W4312091954C65880906 @default.
- W4312091954 hasConceptScore W4312091954C80444323 @default.
- W4312091954 hasConceptScore W4312091954C86803240 @default.
- W4312091954 hasConceptScore W4312091954C89421646 @default.
- W4312091954 hasConceptScore W4312091954C93682546 @default.
- W4312091954 hasConceptScore W4312091954C98045186 @default.
- W4312091954 hasLocation W43120919541 @default.
- W4312091954 hasOpenAccess W4312091954 @default.
- W4312091954 hasPrimaryLocation W43120919541 @default.
- W4312091954 hasRelatedWork W1480879962 @default.
- W4312091954 hasRelatedWork W1827112781 @default.
- W4312091954 hasRelatedWork W2076263265 @default.
- W4312091954 hasRelatedWork W2081326103 @default.
- W4312091954 hasRelatedWork W2096734722 @default.
- W4312091954 hasRelatedWork W2115401928 @default.
- W4312091954 hasRelatedWork W2119897009 @default.
- W4312091954 hasRelatedWork W2137343774 @default.
- W4312091954 hasRelatedWork W2166819861 @default.
- W4312091954 hasRelatedWork W2280486416 @default.
- W4312091954 isParatext "false" @default.
- W4312091954 isRetracted "false" @default.
- W4312091954 workType "article" @default.